R-Version: [Default] [64-bit] C:\Program
Files\R\R-4.1.0
Einlesen der Daten
Der Datensatz besteht aus acht verschiedenen Tabellen, welche teils
durch Keys miteinander verknüpft sind.
root_path <- "./xselling_banking_data-1/xselling_banking_data/"
accounts <- read.csv(paste0(root_path, "account.csv"), header = TRUE, sep = ";")
cards <- read.csv(paste0(root_path, "card.csv"), header = TRUE, sep = ";")
clients <- read.csv(paste0(root_path, "client.csv"), header = TRUE, sep = ";")
dispositions <- read.csv(paste0(root_path, "disp.csv"), header = TRUE, sep = ";")
districts <- read.csv(paste0(root_path, "district.csv"), sep = ";")
loans <- read.csv(paste0(root_path, "loan.csv"), header = TRUE, sep = ";")
orders <- read.csv(paste0(root_path, "order.csv"), header = TRUE, sep = ";")
transactions <- read.csv(paste0(root_path, "trans.csv"), header = TRUE, sep = ";")
Cleaning
Accounts
Die Account-Tabelle enthält vier Kolonnen: die Account-ID, die
District-ID (welche auf die District-Tabelle verweist), die Frequenz,
welche die Häufigkeit der Ausstellung der Abrechnungen als Kategorie
besagt, und das Erstellungsdatum des Accounts. Die Frequenz kann eine
von drei verschiedenen Werten annehmen.
unique(accounts$frequency)
[1] "POPLATEK MESICNE" "POPLATEK PO OBRATU" "POPLATEK TYDNE"
Nachfolgend sollen die Frequenz-Werte übersetzt und das Datum in ein
richtiges Format transformiert werden. Ausserdem soll die Tabelle auf
fehlende Werte überprüft werden.
accounts$date <- as.Date(as.character(accounts$date), format= "%y%m%d")
accounts$frequency[accounts$frequency == "POPLATEK MESICNE"] <- "monthly"
accounts$frequency[accounts$frequency == "POPLATEK TYDNE"] <- "weekly"
accounts$frequency[accounts$frequency == "POPLATEK PO OBRATU"] <- "after_transaction"
sum(is.na(accounts))
[1] 0
Es gibt also keine fehlende Werte in diesem Dataframe.
Cards
Auch bei card muss das Datum umgewandelt werden, der zeitliche Teil
wird ignoriert, da er immer 0 ist.
cards$issued <- as.Date(as.character(cards$issued), format= "%y%m%d")
cards$type[cards$type == "gold"] <- "classic"
cards <- filter(cards, type == "classic")
sum(is.na(cards))
[1] 0
Clients
In der Tabelle existiert die Spalte birth_number, welcher man auf den
ersten Blick die Datumsräpresentation nicht ansieht. In der Doku wird
die Struktur deutlich, sie ist für Männer YYMMDD und für Frauen
YYMMDD+50DD. In Folge wird die Nummer in ihre Datumsräpresentation
konvertiert und die Spalte “gender” als male/female aufgeschlüsselt.
Zudem wird das Alter der clients bezogen auf das Jahr 1999
herausextrahiert, da der Datensatz aus diesem Jahr stammt. Es wird nicht
year(Sys.Date()) verwendet, damit die Daten auch in Zukunft konsistent
blieben.
# Months above 12 must be female
clients <- mutate(clients, gender =
ifelse(substr(birth_number, 3, 4) > 12, "female", "male"))
# Substract the 50 to get the birth month
clients <- mutate(clients, birth_month =
ifelse(as.numeric(substr(birth_number, 3, 4)) > 12,
as.numeric(substr(birth_number, 3, 4)) - 50,
as.numeric(substr(birth_number, 3, 4))))
# Transform the birth_number to a date
clients <- mutate(clients, birth_number = paste("19",
substr(birth_number, 1, 2),
str_pad(birth_month, 2,
pad = "0"),
substr(birth_number, 5, 6),
sep = "", collapse = NULL))
clients$birth_date <- as.Date(as.character(clients$birth_number),
format= "%Y%m%d")
# Remove unused columns
clients$birth_month <- NULL
clients$birth_number <- NULL
# Get the age of the clients in the year 1999 and save it in a column
get_age <- function(birth_date) {
base_year <- 99
year <- substr(birth_date, 3, 4)
result <- base_year - as.integer(year)
return(result)
}
clients <- clients %>%
mutate(age = get_age(birth_date))
sum(is.na(clients))
[1] 0
Dispositions
sample_n(dispositions, 5)
Bei Dispositions sollen nur Owners verwendet werden, da die Analyse
nur Eigentümer von Konten behandeln soll.
dispositions <- dispositions %>% filter(type == 'OWNER')
sum(is.na(dispositions))
[1] 0
Districts
Bei district sind die Spaltennamen der Tabelle abhanden gekommen.
Hier werden die Tabellennamen umbenannt, gemäss Doku.
districts <- rename(districts, district_id = A1, district_name = A2, region = A3,
inhabitants = A4, municipalities_inhabitants_smaller_499 = A5,
municipalities_inhabitants_500_to_1999 = A6,
municipalities_inhabitants_2000_to_9999 = A7,
municipalities_inhabitants_larger_10000 = A8, cities = A9,
urban_inhabitants_ratio = A10, average_salary = A11,
unemployment_rate_95 = A12, unemployment_rate_96 = A13,
entrepreneurs_per_1000 = A14, crimes_95 = A15,
crimes_96 = A16)
sum(is.na(districts))
[1] 0
Transactions
sample_n(transactions, 5)
In den Transaktionen muss das Datum gemäss Format YYMMDD konvertiert
werden.
# Rename k_symbol
transactions <- rename(transactions, c("characterization" = "k_symbol"))
# Change formats
transactions$date <- as.Date(as.character(transactions$date), format= "%y%m%d")
transactions$amount <- as.numeric(transactions$amount)
transactions$balance <- as.numeric(transactions$balance)
# Translate values
transactions$type[transactions$type == "PRIJEM"] <- "credit"
transactions$type[transactions$type == "VYDAJ"] <- "withdrawal"
transactions$type[transactions$type == "VYBER"] <- "withdrawal"
transactions$operation[transactions$operation == "VKLAD"] <- "cash credit"
transactions$operation[transactions$operation == "PREVOD Z UCTU"] <- "collection"
transactions$operation[transactions$operation == "VYBER"] <- "cash withdrawal"
transactions$operation[transactions$operation == " "] <- "unknown"
transactions$operation[transactions$operation == "PREVOD NA UCET"] <- "remittance"
transactions$operation[transactions$operation == "VYBER KARTOU"] <- "card withdrawal"
transactions$characterization[transactions$characterization == " "] <- "unknown"
transactions$characterization[transactions$characterization == "DUCHOD"] <- "pension"
transactions$characterization[transactions$characterization == "UROK"] <- "interest"
transactions$characterization[transactions$characterization == "SIPO"] <- "household"
transactions$characterization[transactions$characterization == "SLUZBY"] <- "payment statement"
transactions$characterization[transactions$characterization == "POJISTNE"] <- "insurance"
transactions$characterization[transactions$characterization == "SANKC. UROK"] <- "neg_interest"
transactions$characterization[transactions$characterization == "UVER"] <- "loan_pay"
sum(is.na(transactions))
[1] 760931
Orders
# Rename column k_symbol
orders <- rename(orders, "characterization" = "k_symbol")
# Translate column characterization
orders$characterization[orders$characterization == "SIPO"] <- "household"
orders$characterization[orders$characterization == "UVER"] <- "loan"
orders$characterization[orders$characterization == "POJISTNE"] <- "insurance"
orders$characterization[orders$characterization == "LEASING"] <- "leasing"
# Categorize NA as unknown
orders$characterization[is.na(orders$characterization)] <- "unknown"
orders$amount <- as.numeric(orders$amount)
sum(is.na(loans))
[1] 0
Loans
loans$date <- as.Date(as.character(loans$date), format= "%y%m%d")
loans$payments <- as.numeric(loans$payments)
loans$amount <- as.numeric(loans$amount)
# Make column status human readable
loans$status[loans$status == "A"] <- "finished_payed"
loans$status[loans$status == "B"] <- "finished_not_payed"
loans$status[loans$status == "C"] <- "running_ok"
loans$status[loans$status == "D"] <- "running_in_debt"
sum(is.na(loans))
[1] 0
Zusammenfügen der Dataframes
In diesem Abschnitt werden die verschiedenen Tabellen zusammen
gesetzt. Dabei werden loan, cards und district it left join angehängt,
damit fehlende Spalten nicht den Datensatz verkleinern. Die
Transaktionsdaten werden hier noch nicht zusammengeführt.
# Clients mit dispositions
full <- inner_join(clients, dispositions, by = "client_id", suffix = c(".client", ".dispositions"))
sum(duplicated(full$client_id))
[1] 0
# Full mit account
full <- inner_join(full, accounts, by = "account_id", suffix = c("", ".accounts"))
sum(duplicated(full$account_id))
[1] 0
# Full mit loan
sum(duplicated(loans$account_id))
[1] 0
full <- left_join(full, loans, by = "account_id", suffix = c("", ".loans"))
# Full mit cards
full <- left_join(full, cards, by = "disp_id", suffix = c("", ".cards"))
sum(duplicated(cards$disp_id))
[1] 0
# District Informations for client
full <- left_join(full, districts, by = "district_id")
# District informations for card
full <- left_join(full, districts, by = c("district_id.accounts"="district_id"), suffix = c("", ".accounts"))
sample_n(full, 5)
Jugendliche und Personen, welche während des Zeitraums des
Datensatzes erst erwachsen worden sind, sollen nicht in die Auswertung
einfliessen. Da sicher der Datensatz über einen Zeitraum von sechs
Jahren erstreckt werden alle Clients jünger als 25 Jahre
herausgefiltert.
full <- full %>% filter(age >= 25)
Als nächstes werden alle Zeilen mit Kreditkartenkäufern von den
Nicht-Käufern getrennt
has_card_function <- function(x) {
if (is.na(x)) {
return(FALSE)
} else {
return(TRUE)
}
}
# Erstelle die neue Spalte "has_card" mit der apply()-Funktion und der oben definierten Funktion
full$has_card <- sapply(full[, "card_id"], has_card_function)
full <- full %>% select(-card_id, -type.cards)
card_buyers <- full %>% filter(has_card == TRUE)
non_buyers <- full %>% filter(has_card == FALSE)
Jetzt können wir noch einige Variabeln entfernen, welche keinen
Einfluss auf das Modell haben sollten.
Aufsummieren der Transaktionen
sample_n(transactions, 5)
Bei den Transaktionen ist jeweils die neue Balance und der Betrag der
Transaktion angegebn. Das Problem dabei ist, dass alle Beträge positiv
sind, auch wenn sie eigentlich abgezogen werden.
df <- transactions
# Konvertieren Sie das 'date'-Feld in ein Datum
df$date <- as.Date(df$date)
# Sortieren Sie das Dataframe nach Nutzer und Datum
df <- df[order(df$account_id, df$date), ]
# Gruppieren Sie das Dataframe nach Nutzer
df <- group_by(df, account_id)
# Iterieren Sie über jeden Nutzer und bearbeiten Sie die Transaktionen
df <- df %>%
summarize(transactions = {
# Fügen Sie eine Spalte mit dem vorherigen Kontostand hinzu
prev_balance <- ifelse(row_number() == 1, NA, lag(balance, order_by = date))
# Berechnen Sie den Unterschied zwischen dem vorherigen Kontostand und dem aktuellen Kontostand
difference <- balance - prev_balance
# Fügen Sie eine Spalte mit der Transaktionsart hinzu
type <- "add"
type[difference < 0] <- "subtract"
# Erstellen Sie das Dataframe mit den Transaktionen für jeden Nutzer
transactions_df <- data.frame(amount, date, balance, prev_balance, difference, type)
transactions_df
}) %>%
ungroup()
transactions <- unnest(df, transactions)
# Hinzufügen des ersten amounts bei jedem Account
transactions$difference <- ifelse(is.na(transactions$difference) & is.na(transactions$prev_balance) & (transactions$amount == transactions$balance), transactions$amount, transactions$difference)
transactions$amount <- NULL
transactions
Zusammenfassen der Transaktionen für Card Buyers
Um die Transaktions-Daten in unseren Modellen brauchen zu können,
muss für jeden Kunde ein Rollup-Fenster erstellt werden. Dies fasst die
Transaktionen der zwölf Monate vor dem Erhalt einer Kreditkarte zusammen
(minus einen Monat Input Lag). Auf diesen Monaten werden die
Transaktionen zusammengefasst.
Als erstes werden die Transaktionen von Kunden herausgefiltert,
welche eine Kreditkarte haben.
account_ids <- card_buyers$account_id
buyer_transactions <- transactions[transactions$account_id %in% account_ids,]
Das issued-Datum soll zu den Transaktionen hinzugefügt werden, damit
diese für jeden Kunden einzeln gefiltert werden können.
buyer_transactions <- merge(buyer_transactions, full[, c("account_id", "issued")], by="account_id")
Nun sollen Transaktionen so gefiltert werden, dass nur noch
Transaktionen zwischen 13 Monaten und 1 Monat vor dem Issued Datum
vorkommen.
filtered_df <- buyer_transactions %>%
filter(date >= as.Date(paste0(format(issued - months(13), "%Y-%m"), "-01")) &
date <= as.Date(paste0(format(issued - months(1), "%Y-%m"), "-01")) - 1)
Auf diesen Daten wird eine Gruppierung anhand der account_id und des
Monats gemacht werden. Die Werte in difference und balance werden zu
verschiedenen Metriken zusammengefasst: Auf beiden Werten erfassen wir
das Minimum, das Maximum, den Durchschnitt, den Median und die
Standardabweichung. Bei der balance erfassen wir die erste und die
letzte Balance des Monats und bei difference die Anzahl positive und
negative differences.
summary_df <- filtered_df %>%
group_by(account_id, month = format(date, "%Y-%m")) %>%
summarise(
max_difference = max(difference),
min_difference = min(difference),
max_balance = max(balance),
min_balance = min(balance),
initial_balance = first(balance),
end_balance = last(balance),
mean_balance = mean(balance),
median_balance = median(balance),
std_balance = sd(balance),
mean_difference = mean(difference),
median_difference = median(difference),
std_difference = sd(difference),
count_positive_difference = sum(difference > 0),
count_negative_difference = sum(difference < 0)
)
summary_df <- summary_df %>%
arrange(account_id)
summary_df
Jetzt haben wir für jede account_id eine Übersicht über die 12 Monate
vor dem Kartenerhalt. Da es aber sein könnte, dass es Kunden gibt,
welche nicht jeden Monat eine Transaktion hatten oder die Kreditkarte
bereits im ersten Jahr erhalten haben, kontrollieren wir dies noch.
# Kontrolle, ob für jeden account_id 12 monate vorhanden sind
month_counts <- summary_df %>%
group_by(account_id) %>%
summarise(month_count = n_distinct(month))
# Prüfe, ob jedes account_id 12 Monate hat
month_counts <- month_counts %>% filter(month_count != 12)
month_counts
162 Kunden haben also keine 12 kontinuierlichen Monate mit
Transaktionen, bevor sie eine Karte bekommen. Wir filtern diese Kunden
raus.
summary_df <- subset(summary_df, !account_id %in% month_counts$account_id)
Als nächstes nummerieren wir die Monate pro account_id von 1 bis 12
durch, um danach weiter damit arbeiten zu können.
# Sortieren nach account_id und Monat
summary_df <- summary_df[order(summary_df$account_id, rev(summary_df$month)),]
# Hinzufügen der Monatsnummer
summary_df$group_id <- ave(seq_along(summary_df$account_id), summary_df$account_id, FUN = function(x) {x})
summary_df$month_number <- 12
for (i in 2:nrow(summary_df)) {
if (summary_df$account_id[i] != summary_df$account_id[i-1]) {
summary_df$month_number[i] <- 12
} else {
summary_df$month_number[i] <- summary_df$month_number[i-1] - 1
}
}
# Entferne die Spalte group_id
summary_df$group_id <- NULL
summary_df$month <- NULL
Nun möchten wir alle Informationen pro account_id auf einer Zeile
haben. Dafür brauchen wir pivot_wider. So haben wir jede Kennzahl zwölf
mal als Kolonne, jedes Mal mit der vorher erstellten Monatsnummer als
Suffix.
summary_df_buyers <- summary_df %>%
group_by(account_id) %>%
pivot_wider(names_from = month_number,
values_from = c(max_difference, min_difference, max_balance, min_balance, initial_balance, end_balance, mean_balance, median_balance, std_balance, median_balance, std_balance, mean_difference, median_difference, std_difference, count_positive_difference, count_negative_difference))
summary_df_buyers <- merge(summary_df_buyers, card_buyers, by = "account_id")
Finden von ähnlichen Nutzern
Zu jedem Kartenkäufer soll nun ein ähnlicher Nichtkäufer gefunden
werden
# Erstelle ein leeres DataFrame "similar_non_buyers"
similar_non_buyers <- data.frame()
# Iteriere über jeden Kunden im DataFrame "buyers"
for (i in 1:nrow(card_buyers)) {
# Wähle den aktuellen Kunden aus dem DataFrame "buyers"
current_buyer <- card_buyers[i, ]
# Wähle die Kunden aus dem DataFrame "non_buyers" aus, die das gleiche Geschlecht haben und möglichst gleich alt sind und möglichst in der gleichen Region wohnen
similar_non_buyers_temp <- non_buyers %>%
filter(gender == current_buyer$gender,
abs(age - current_buyer$age) <= 5,
region == current_buyer$region)
# Wähle den am besten passenden Kunden aus "similar_non_buyers_temp" aus
best_match_index <- which.min(abs(similar_non_buyers_temp$age - current_buyer$age))
best_match <- similar_non_buyers_temp[best_match_index, ]
best_match$issued <- current_buyer$issued
# damit nicht der gleiche non_buyer doppelt verwendet wird
non_buyers <- non_buyers %>% filter(client_id != best_match$client_id)
similar_non_buyers <- rbind(similar_non_buyers, best_match)
}
Zusammenfassen der Transaktionen für non buyers
Auch hier sollen die Transaktionen gleich wie bei den Käufern
zusammengefasst werden.
account_ids <- similar_non_buyers$account_id
non_buyer_transactions <- transactions[transactions$account_id %in% account_ids,]
non_buyer_transactions <- merge(non_buyer_transactions, similar_non_buyers[, c("account_id", "issued")], by="account_id")
filtered_df <- non_buyer_transactions %>%
filter(date >= as.Date(paste0(format(issued - months(13), "%Y-%m"), "-01")) &
date <= as.Date(paste0(format(issued - months(1), "%Y-%m"), "-01")) - 1)
summary_df <- filtered_df %>%
group_by(account_id, month = format(date, "%Y-%m")) %>%
summarise(
max_difference = max(difference),
min_difference = min(difference),
max_balance = max(balance),
min_balance = min(balance),
initial_balance = first(balance),
end_balance = last(balance),
mean_balance = mean(balance),
median_balance = median(balance),
std_balance = sd(balance),
mean_difference = mean(difference),
median_difference = median(difference),
std_difference = sd(difference),
count_positive_difference = sum(difference > 0),
count_negative_difference = sum(difference < 0)
)
summary_df <- summary_df %>%
arrange(account_id)
# Kontrolle, ob für jeden account_id 12 monate vorhanden sind
month_counts <- summary_df %>%
group_by(account_id) %>%
summarise(month_count = n_distinct(month))
# Prüfe, ob jedes account_id 12 Monate hat
month_counts <- month_counts %>% filter(month_count != 12)
month_counts
Auch hier haben wieder einige Kunden weniger als 12 kontinuierliche
Monate.
summary_df <- subset(summary_df, !account_id %in% month_counts$account_id)
summary_df <- summary_df[order(summary_df$account_id, rev(summary_df$month)),]
summary_df$group_id <- ave(seq_along(summary_df$account_id), summary_df$account_id, FUN = function(x) {x})
summary_df$month_number <- 12
for (i in 2:nrow(summary_df)) {
if (summary_df$account_id[i] != summary_df$account_id[i-1]) {
summary_df$month_number[i] <- 12
} else {
summary_df$month_number[i] <- summary_df$month_number[i-1] - 1
}
}
# Entferne die Spalte group_id
summary_df$group_id <- NULL
summary_df$month <- NULL
summary_df_non_buyers <- summary_df %>%
group_by(account_id) %>%
pivot_wider(names_from = month_number,
values_from = c(max_difference, min_difference, max_balance, min_balance, initial_balance, end_balance, mean_balance, median_balance, std_balance, median_balance, std_balance, mean_difference, median_difference, std_difference, count_positive_difference, count_negative_difference))
Die Transaktionsdaten werden mit den anderen Daten zusammengefügt, um
pro Kunde eine Zeile in einem Dataframe zu haben.
summary_df_non_buyers <- merge(summary_df_non_buyers, similar_non_buyers, by = "account_id")
merge(summary_df_non_buyers, non_buyers, by = "account_id")
final_df <- rbind(summary_df_buyers, summary_df_non_buyers)
Jetzt muss noch dass issued-Datum sowie weitere Variabeln entfernt
werden.
# Entferne weitere unnötige Variabeln wie ID's oder Werte, welche überall gleich sind
final_df <- final_df %>% select(-client_id, -district_id, -district_id.accounts, -disp_id, -type, -loan_id, -account_id)
Ausserdem scheinen einige Variabeln als Faktoren im Datensatz zu
sein, welche eigentlich numerisch wären.
final_df$unemployment_rate_95 <- as.numeric(final_df$unemployment_rate_95)
Warning: NAs introduced by coercion
final_df$unemployment_rate_95.accounts <- as.numeric(final_df$unemployment_rate_95.accounts)
Warning: NAs introduced by coercion
final_df$crimes_95 <- as.numeric(final_df$crimes_95)
Warning: NAs introduced by coercion
final_df$crimes_95.accounts <- as.numeric(final_df$crimes_95.accounts)
Warning: NAs introduced by coercion
Modelle
Als nächstes sollen Modelle trainiert und evaluiert werden. Um die
Resultate zu reproduzieren, wird hier ein initialier seed gesetzt.
Funktionen zur Evaluierung von Modellen
Train-Test-Split
Als Vorbereitung für die Modelle müssen wir unsere Daten zu
Trainings- und Testdaten unterteilen. Dafür erstellen wir eine Funktion,
welche auf verschiedenen Varianten des Datensatz gebraucht werden
kann.
split_data <- function(df, test_size = 0.2) {
split <- createDataPartition(df$has_card, p = 1 - test_size, list = FALSE)
train <- df[split, ]
test <- df[-split, ]
return(list(train = train, test = test))
}
Metriken
Damit wir die verschiedenen Modelle besser evaluieren können, müssen
wir die gleichen Kennzahlen und Auswertungen pro Modell machen. Zu
diesem Zweck definieren wir einige Funktionen, damit wir weniger
redundanten Code haben und unsere Ergebnisse in einem einheitliche,
vergleichbaren Format daherkommen.
Dafür erstellen wir eine Funktion, die die Genauigkeit (Accuracy),
Cohen’s Kappa, Matthews Korrelation, Präzision (Precision), Erinnerung
(Recall) und den F1-Score für eine Reihe von Vorhersagen und deren
entsprechenden wahren Werte berechnet.
Was bedeuten diese Kennzahlen genau?
Accuracy (Genauigkeit): Die Accuracy ist der Prozentsatz der
Vorhersagen, die mit den tatsächlichen Werten übereinstimmen. Sie wird
berechnet als Anzahl der korrekten Vorhersagen geteilt durch die
Gesamtzahl der Vorhersagen.
Cohen’s Kappa (Cohen’s Kappa): Cohen’s Kappa ist eine Messgröße für
die Qualität von binären Klassifikationen. Es wird verwendet, um die
Übereinstimmung zwischen zwei Klassifikatoren zu messen, indem es die
Übereinstimmung über der erwarteten Übereinstimmung durch Zufall
berechnet. Ein Kappa-Wert von 1 bedeutet perfekte Übereinstimmung, ein
Wert von 0 bedeutet keine Übereinstimmung, die besser ist als Zufall,
und ein Wert von -1 bedeutet komplett falsche Klassifikationen.
Matthews correlation coefficient (Matthews Korrelation): Der Matthews
Korrelation Coefficient (MCC) ist eine Messgröße für die Qualität von
binären Klassifikationen. Er reicht von -1 bis 1, wobei ein Wert von 1
perfekte Klassifikation bedeutet, ein Wert von 0 eine Klassifikation,
die nicht besser als Zufall ist, und ein Wert von -1 eine komplett
falsche Klassifikation bedeutet.
Precision (Präzision): Die Präzision ist der Prozentsatz der
Vorhersagen, die tatsächlich korrekt waren, unter der Annahme, dass alle
Vorhersagen korrekt sind. Sie wird berechnet als Anzahl der korrekten
Vorhersagen für die positive Klasse geteilt durch die Gesamtzahl der
Vorhersagen für die positive Klasse.
Recall (Erinnerung): Der Recall ist der Prozentsatz der tatsächlich
positiven Werte, die korrekt vorhergesagt wurden. Er wird berechnet als
Anzahl der korrekten Vorhersagen für die positive Klasse geteilt durch
die Gesamtzahl der tatsächlich positiven Werte.
F1 score (F1-Wert): Der F1-Wert ist ein Maß für die Qualität von
binären Klassifikationen, das die Harmoniesche Mischung von Präzision
und Recall darstellt. Es wird berechnet als der Harmoniesche Mittelwert
von Präzision und Recall. Ein hoher F1-Wert bedeutet, dass sowohl
Präzision als auch Recall hoch sind.
get_metrics <- function(predictions, true_values) {
# Calculate accuracy
accuracy <- sum(predictions == true_values) / length(predictions)
# Calculate Cohen's kappa
n <- length(predictions)
observed_agreement <- sum(predictions == true_values)
expected_agreement <- sum(predictions == true_values) / n
kappa <- (observed_agreement - expected_agreement) / (n - expected_agreement)
# Calculate Matthews correlation coefficient
confusion_matrix <- table(predictions, true_values)
tp <- confusion_matrix[2,2]
tn <- confusion_matrix[1,1]
fp <- confusion_matrix[2,1]
fn <- confusion_matrix[1,2]
matthews <- (tp * tn - fp * fn) / sqrt((tp + fp) * (tp + fn) * (tn + fp) * (tn + fn))
# Calculate precision and recall
precision <- confusion_matrix[2,2] / sum(confusion_matrix[2,])
recall <- confusion_matrix[2,2] / sum(confusion_matrix[,2])
# Calculate F1 score
f1 <- 2 * (precision * recall) / (precision + recall)
# Create a data frame of the metrics
metrics <- data.frame(accuracy = accuracy, kappa = kappa, matthews = matthews,
precision = precision, recall = recall, f1 = f1)
# Return the data frame
return(metrics)
}
Konfusionsmatrix mit Plot
Diese Funktion erstellt eine Konfusionsmatrix und gibt sie als Plot
zurück.
Eine Konfusionsmatrix ist ein wichtiges Werkzeug zur Evaluation von
Klassifikationsmodellen. Sie zeigt an, wie gut das Modell in der Lage
ist, die verschiedenen Klassen richtig zu identifizieren. In einer
Konfusionsmatrix werden die tatsächlichen und die von dem Modell
vorhergesagten Klassen gegenübergestellt. Die Matrix ist in vier
Quadranten unterteilt: true positives (TP), true negatives (TN), false
positives (FP) und false negatives (FN). TP sind die Fälle, in denen das
Modell die Klasse richtig vorhergesagt hat, TN sind die Fälle, in denen
das Modell die Klasse richtig vorhergesagt hat und diese Klasse auch
tatsächlich vorliegt, FP sind die Fälle, in denen das Modell eine Klasse
vorhergesagt hat, die in Wirklichkeit nicht vorliegt, und FN sind die
Fälle, in denen das Modell eine Klasse nicht vorhergesagt hat, die in
Wirklichkeit vorliegt. Eine Konfusionsmatrix ist hilfreich, um die
Genauigkeit, Sensitivität und Spezifität des Modells zu berechnen und um
zu sehen, an welchen Stellen das Modell Schwächen hat. Sie kann auch
verwendet werden, um die Leistung von verschiedenen Modellen miteinander
zu vergleichen.
plot_confusion_matrix <- function(predictions, true_values) {
# Erstelle eine Confusion Matrix als Data Frame
confusion_matrix_df <- data.frame(predictions, true_values)
# Zähle die Häufigkeiten jeder Kombination von Vorhersage- und True-Werten
counts_df <- count(confusion_matrix_df, predictions, true_values)
# Erstelle einen ggplot-Plot
ggplot(data = counts_df, aes(x = predictions, y = true_values)) +
geom_tile(aes(fill = n)) +
geom_text(aes(label = n)) +
scale_fill_gradient(low = "white", high = "darkgreen") +
labs(x = "Predicted Class", y = "True Class", title = "Confusion Matrix")
}
ROC / AUC
Diese Funktion zeichnet die ROC-Kurve und berechnet die Area und
Curve.
Die ROC-Kurve (Receiver Operating Characteristic curve) ist ein
wichtiges Werkzeug zur Bewertung von Klassifikatoren. Sie zeigt die
Leistung des Klassifikators bei verschiedenen Schwellenwerten an, die
zur Unterscheidung zwischen zwei Klassen verwendet werden. Die ROC-Kurve
ist besonders nützlich, wenn die beiden Klassen im Verhältnis
unausgeglichen sind, wie es oft der Fall ist, wenn es darum geht,
seltene Ereignisse wie Krankheiten oder Betrug zu erkennen.
Die ROC-Kurve ist auf der x-Achse der falsch-positiv-Rate (FPR) und
auf der y-Achse der wahr-positiv-Rate (TPR) aufgetragen. Der FPR gibt
an, wie viele falsch positive Ergebnisse es gibt, während der TPR
angibt, wie viele wahr positive Ergebnisse erzielt werden. Ein perfekter
Klassifikator würde eine ROC-Kurve haben, die im oberen linken Bereich
beginnt und nach rechts oben verläuft, wobei alle Fälle korrekt
klassifiziert werden. Ein zufälliger Klassifikator würde eine diagonal
verlaufende ROC-Kurve haben, da die FPR und TPR zufällig verteilt
sind.
Die AuC (Area Under the Curve) ist eine Metrik, die aus der ROC-Kurve
berechnet wird und die Leistung des Klassifikators zusammenfasst. Sie
gibt an, wie gut der Klassifikator im Vergleich zu einem zufälligen
Klassifikator ist. Eine AUC von 1 bedeutet, dass das Modell perfekt in
der Lage ist, positive und negative Klassen zu unterscheiden, während
eine AUC von 0.5 bedeutet, dass das Modell keine bessere Leistung als
Zufall erzielt. Die AUC kann Werte zwischen 0 und 1 annehmen. Eine AUC
von 0 bedeutet, dass das Modell völlig inkorrekt ist. Im Allgemeinen
gilt, je größer die AUC, desto besser ist das Modell im Vergleich zu
anderen Modellen.
make_roc_plot_and_get_auc <- function(predictions, true_values){
roc_curve <- roc(as.numeric(predictions), as.numeric(true_values) - 1)
plot(roc_curve, xlab = "False Positive Rate", ylab = "True Positive Rate", main ="ROC Curve")
auc <- auc(roc_curve)
return(auc)
}
Feature Importance
Um die Feature Importance genauer zu untersuchen, definieren wir eine
Funktion, welche für ein Modell die Feature Importance berechnet und die
Top 10 Features in einem Barplot ausgibt.Die Funktion
plot_feature_importance() nimmt als Eingabeparameter ein maschinelles
Lernmodell und plottet die Feature-Importance des Modells als Barplot.
Die Funktion unterscheidet drei Arten von Modellen: Logistische
Regressionen, Entscheidungsbäume und Random Forest. Für jede Art von
Modell wird die Feature-Importance auf eine spezifische Art und Weise
berechnet. Anschließend werden die Feature-Importance-Werte und die
Namen der Features absteigend sortiert, wobei nur die 10 wichtigsten
Features berücksichtigt werden. Der Barplot zeigt dann die
Feature-Importance-Werte für die entsprechenden Features an. Der Titel
des Plots lautet “Feature Importance” und die y-Achse ist mit
“Importance” beschriftet. Die Namen der Features werden rotiert
angezeigt, um Platz zu sparen, und die Farben der einzelnen Features
sind unterschiedlich.
plot_feature_importance <- function(model) {
# Logistische Regression
if (class(model)[1] == "glm") {
importance <- abs(coef(model)[-1])
names <- names(importance)
}
# Decision Tree
else if (class(model)[1] == "rpart") {
importance <- model$importance
names <- row.names(importance)
}
# Random Forest
else if (class(model)[1] == "randomForest") {
importance <- model$importance
names <- row.names(importance)
}
# Unrecognized model
else {
stop("Unrecognized model")
}
# Sort feature importance and names in decreasing order
importance <- head(importance[order(importance, decreasing = TRUE)], 10)
names <- names[order(importance, decreasing = TRUE)]
# Plot feature importance
barplot(importance, names.arg = names, las = 2, cex.names = 0.6,
main = "Feature Importance", xlab = "", ylab = "Importance")
}
Baseline Modell
Als erstes soll eine logistische Regression mit den Informationen
Alter, Geschlecht, Domizilregion, Vermögen (balance-Schnitt über alle
Monate) und Umsatz (difference-Schnitt über alle Monate) als Baseline
Modell erstellt werden.Dafür müssen wir kurz ein neues Dataframe
erstellen.
baseline_data <- final_df
baseline_data$mean_balance <- rowMeans(final_df[, c("mean_balance_1", "mean_balance_2", "mean_balance_3", "mean_balance_4",
"mean_balance_5", "mean_balance_6", "mean_balance_7", "mean_balance_8",
"mean_balance_9", "mean_balance_10", "mean_balance_11", "mean_balance_12")])
baseline_data$mean_difference <- rowMeans(final_df[, c("mean_difference_1", "mean_difference_2", "mean_difference_3", "mean_difference_4",
"mean_difference_5", "mean_difference_6", "mean_difference_7", "mean_difference_8",
"mean_difference_9", "mean_difference_10", "mean_difference_11", "mean_difference_12")])
baseline_data <- baseline_data[, c("age", "gender", "region", "has_card", "mean_balance", "mean_difference")]
baseline_data$has_card <- as.factor(baseline_data$has_card)
Darauf wird ein Train-Test-Split mit 80% Trainingsdaten und 20%
Testdaten gebraucht.
splits <- split_data(baseline_data, test_size = 0.2)
train <- splits$train
test <- splits$test
Das Regressionsmodell wird auf den Trainingsdaten trainiert.
# Fit the model on the training data
model <- glm(has_card ~ ., data = train, family = binomial)
Als nächstes sollen die Predictions gemacht und damit die Metriken
erstellt werden. Da die logistische Regression eine Zahl zwischen 0 und
1 zurückgibt, müssen wir anhand eines Thresholds die Werte zu TRUE und
FALSE umwandeln. Der Threshold gibt an, ab welchem
Wahrscheinlichkeitswert eine Vorhersage als positiv betrachtet wird.
Standardmäßig ist der Threshold auf 0.5 gesetzt, was bedeutet, dass alle
Wahrscheinlichkeiten größer als 0.5 als positiv und alle
Wahrscheinlichkeiten kleiner als 0.5 als negativ betrachtet werden.
# Make predictions on the test data
predictions <- predict(model, test, type = "response")
threshold <- 0.5
predictions_threshold <- ifelse(predictions > threshold, TRUE, FALSE)
get_metrics(predictions_threshold, test$has_card)
plot_confusion_matrix(predictions_threshold, test$has_card)

make_roc_plot_and_get_auc(predictions_threshold, test$has_card)
Setting levels: control = 0, case = 1
Setting direction: controls < cases
Area under the curve: 0.7489

plot_feature_importance(model)

Threshold
Der Threshold-Wert könnte aber angepasst werden. Je nach Veränderung
werden die verschiedenen Metriken besser oder schlechter. Die Frage
dabei ist, ob wir eher mehr falsche Positivvorhersagen oder
Negativvorhersagen wollen. Wenn wir den Threshold senken, wird bspw. der
Recall höher. Wenn wir den Threshold erhöhen, wird die Precision höher.
Es ist aber nicht sinnvoll, anhand des Thresholds diese beiden Metriken
zu maximieren, da es bei beiden fast keine Positiven bzw. Negative
Predictions mehr gibt.
Der F1 ist eine Zusammenfassung der Precision und der Recall. Wir
untersuchen, mit welchem Threshold der höchste F1-Score erzielt werden
kann.
best_threshold <- 0
best_f1 <- 0
thresholds <- seq(0.01, 0.99, 0.01)
f1_scores <- rep(0, length(thresholds))
for (i in 1:length(thresholds)) {
# Set the threshold for the predictions
predictions_threshold <- ifelse(predictions > thresholds[i], TRUE, FALSE)
if (all(predictions_threshold)) {
next
} else if (all(!predictions_threshold)) {
next
}
# Calculate the f1
f1 <- get_metrics(predictions_threshold, test$has_card)$f1
f1_scores[i] <- f1
# Update the best threshold and best f1 if necessary
if (f1 > best_f1) {
best_threshold <- thresholds[i]
best_f1 <- f1
}
}
# Display the best threshold and best recall
print(paste("Best threshold:", best_threshold))
[1] "Best threshold: 0.3"
print(paste("Best F1:", best_f1))
[1] "Best F1: 0.842105263157895"
plot(thresholds, f1_scores, type = "l", xlab = "Threshold", ylab = "F1 Score", main = "F1 Score with different thresholds")

Wie sehen die anderen Metriken mit diesem Threshold aus?
predictions_threshold <- ifelse(predictions > best_threshold, TRUE, FALSE)
get_metrics(predictions_threshold, test$has_card)
Regressionsmodell mit allen Daten
Nun soll dieses Baseline-Modell verbessert werden. Als erstes
probieren wir, das gleiche Modell (Logistische Regression) mit mehr
Input-Parametern zu trainieren.
Da die logistische Regression Probleme mit Faktoren hat, welche nur
im Trainings- bzw. Testdatensatz vorkommen und auch nicht gut mit NA’s
umgehen kann, müssen wir zuerst noch einige Anpassungen am Datensatz
vornehmen.
Als erstes entfernen wir alle Kolonnen, welche Faktoren sind und mehr
als 10 verschiedene Ausprägungen haben.
[1] "birth_date" "date" "date.loans" "issued" "district_name" "district_name.accounts"
Nun muss der Datensatz noch auf NA’s überprüft werden.
sum(is.na(final_df_simplified))
[1] 3614
# Erstelle einen logischen Vektor, der angibt, ob jedes Element NA ist
na_matrix <- is.na(final_df_simplified)
# Summiere die Anzahl der NA- Werte pro Zeile
na_counts <- rowSums(na_matrix)
na_counts_cols <- colSums((na_matrix))
# Zähle die Zeilen mit NA- Werten
num_na_rows <- sum(na_counts > 0)
num_na_cols <- sum(na_counts_cols > 0)
num_na_rows
[1] 855
[1] 32
Fast jede Zeile hat irgendwo ein NA. Es sind auch viele Kolonnen
betroffen. Wir können also nicht alle Observationen oder Variabeln mit
NA’s entfernen, da sonst der Datenverlust sehr gross wäre. Daher
imputieren wir die numerischen fehlenden Werte mit dem Median und die
fehlenden kategorialen Werte mit dem Wert, welcher am meisten
vorkommt.
# Impute NA numbers with the median
final_df_simplified <- final_df_simplified %>%
mutate_if(is.numeric, list(~ if_else(is.na(.), median(., na.rm = TRUE), .)))
# Impute NA strings/factors with the most common value
final_df_simplified <- final_df_simplified %>%
mutate_if(is.character, list(~ if_else(is.na(.), mode(.), .)))
sum(is.na(final_df_simplified))
[1] 0
splits <- split_data(final_df_simplified, test_size = 0.2)
train <- splits$train
test <- splits$test
# Fit the model on the training data
model <- glm(has_card ~ ., data = train, family = binomial)
# Make predictions on the test data
predictions <- predict(model, test, type = "response")
threshold <- 0.5
predictions_threshold <- ifelse(predictions > threshold, TRUE, FALSE)
get_metrics(predictions_threshold, test$has_card)
Decision Tree
Die Klassifikation ist um einiges besser auf dem Decision Tree. Es
scheint also für unseren Verwendungszweck der bessere Algorithmus zu
sein. Wir untersuchen noch Erweiterungen des Decision Trees: der Random
Forest.
Random Forest
Der Random Forest ist ein wenig besser als der Decision Tree. Als
nächstes wollen wir probieren, ob eine Hyperparameteroptimierung unser
Resultat noch verbessern kann.
Hyperparamter Optimierung auf Random Forest
Die Hyperparamtereoptimierung verbessert unseren Score nur minim.
Recursive Feature Elimnation
Eine Möglichkeit, die Leistung von Random Forest zu verbessern, ist
die Verwendung von Recursive Feature Elimination (RFE).
RFE ist ein Feature Selection-Verfahren, das dazu verwendet wird, die
wichtigsten Features (also diejenigen Merkmale, die für die Vorhersage
am wichtigsten sind) auszuwählen und alle anderen zu entfernen. Dies hat
mehrere Vorteile:
Es reduziert die Laufzeit von Random Forest, da weniger Features
verarbeitet werden müssen. Es kann dazu beitragen, Overfitting zu
vermeiden, indem es irrelevanten oder redundanten Features entfernt. Es
kann dazu beitragen, die Interpretierbarkeit von Random Forest zu
verbessern, da wichtigere Features leichter zu verstehen sind.
LS0tDQp0aXRsZTogImFtbCINCnN1YnRpdGxlOiAiTWluaS1DaGFsbGVuZ2UgMSINCmF1dGhvcjogIlBhc2NhbCBCZXJnZXIgdW5kIFJhcGhhZWwgU3RyZWJlbCINCmRhdGU6ICIxOC4gT2t0b2JlciAyMDIyIg0Kb3V0cHV0Og0KICBodG1sX25vdGVib29rOg0KICAgIHRvYzogdHJ1ZQ0KICAgIHRvY19kZXB0aDogNA0KICAgIGRmX3ByaW50OiBwYWdlZA0KICAgIHRvY19mbG9hdDoNCiAgICAgIGNvbGxhcHNlZDogdHJ1ZQ0KICAgICAgc21vb3RoX3Njcm9sbDogdHJ1ZQ0KICAgIHRoZW1lOiB1bml0ZWQNCiAgICBoaWdobGlnaHQ6IHRhbmdvDQogICAgY29kZV9mb2xkaW5nOiBoaWRlDQotLS0NClItVmVyc2lvbjogKipbRGVmYXVsdF0gWzY0LWJpdF0gQzpcXFByb2dyYW0gRmlsZXNcXFJcXFItNC4xLjAqKg0KDQojIEltcG9ydHMNCg0KYGBge3IgZWNobz1GQUxTRSwgY2FjaGU9RkFMU0UsIHJlc3VsdHM9RkFMU0UsIGNvbW1lbnQ9RkFMU0UsIHdhcm5pbmc9RkFMU0V9DQojIGNsZWFyIGVudmlyb25tZW50DQpybShsaXN0ID0gbHMoKSkNCg0KIyBuw7Z0aWdlIFBhY2tldGUNCnBhY2thZ2VzIDwtIGMoInRpZHl2ZXJzZSIsICJkYXRhLnRhYmxlIiwgInRpZHltb2RlbHMiLCAibHVicmlkYXRlIiwgImNhcmV0IikNCg0KIyBOb2NoIG5pY2h0IGluc3RhbGxpZXJ0ZSBQYWtldGUgaW5zdGFsbGllcmVuDQppbnN0YWxsZWRfcGFja2FnZXMgPC0gcGFja2FnZXMgJWluJSByb3duYW1lcyhpbnN0YWxsZWQucGFja2FnZXMoKSkNCg0KaWYgKGFueShpbnN0YWxsZWRfcGFja2FnZXMgPT0gRkFMU0UpKSB7DQogIGluc3RhbGwucGFja2FnZXMocGFja2FnZXNbIWluc3RhbGxlZF9wYWNrYWdlc10pDQp9DQojIExhZGVuIGRlciBQYWNrZXRlDQppbnZpc2libGUobGFwcGx5KHBhY2thZ2VzLCBsaWJyYXJ5LCBjaGFyYWN0ZXIub25seSA9IFRSVUUpKQ0KDQojIGNoYW5nZSBvcHRpb25zDQpvcHRpb25zKGRwbHlyLnN1bW1hcmlzZS5pbmZvcm0gPSBGQUxTRSkNCmBgYA0KDQpJbiBmb2xnZW5kZW0gSnVuayB3ZXJkZW4gYWxsZSBUYWJlbGxlbiBhdXMgZGVuIENTVidzIGVpbmdlbGVzZW4uDQpEb2t1IERhdGVuOiBodHRwczovL3NvcnJ5LnZzZS5jei9+YmVya2EvY2hhbGxlbmdlL1BBU1QvaW5kZXguaHRtbA0KKHJlY2h0ZSBTZWl0ZSBQS0REJzk5IENoYWxsZW5nZSA+IERhdGEgPiBGaW5hbmNpYWwgRGF0YSBEZXNjcmlwdGlvbikNCg0KDQojIEVpbmxlc2VuIGRlciBEYXRlbg0KDQpEZXIgRGF0ZW5zYXR6IGJlc3RlaHQgYXVzIGFjaHQgdmVyc2NoaWVkZW5lbiBUYWJlbGxlbiwgd2VsY2hlIHRlaWxzIGR1cmNoIEtleXMgbWl0ZWluYW5kZXIgdmVya27DvHBmdCBzaW5kLg0KYGBge3J9DQpyb290X3BhdGggPC0gIi4veHNlbGxpbmdfYmFua2luZ19kYXRhLTEveHNlbGxpbmdfYmFua2luZ19kYXRhLyINCg0KYWNjb3VudHMgPC0gcmVhZC5jc3YocGFzdGUwKHJvb3RfcGF0aCwgImFjY291bnQuY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCmNhcmRzIDwtIHJlYWQuY3N2KHBhc3RlMChyb290X3BhdGgsICJjYXJkLmNzdiIpLCBoZWFkZXIgPSBUUlVFLCBzZXAgPSAiOyIpDQpjbGllbnRzIDwtIHJlYWQuY3N2KHBhc3RlMChyb290X3BhdGgsICJjbGllbnQuY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCmRpc3Bvc2l0aW9ucyA8LSByZWFkLmNzdihwYXN0ZTAocm9vdF9wYXRoLCAiZGlzcC5jc3YiKSwgaGVhZGVyID0gVFJVRSwgc2VwID0gIjsiKQ0KZGlzdHJpY3RzIDwtIHJlYWQuY3N2KHBhc3RlMChyb290X3BhdGgsICJkaXN0cmljdC5jc3YiKSwgc2VwID0gIjsiKQ0KbG9hbnMgPC0gcmVhZC5jc3YocGFzdGUwKHJvb3RfcGF0aCwgImxvYW4uY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCm9yZGVycyA8LSByZWFkLmNzdihwYXN0ZTAocm9vdF9wYXRoLCAib3JkZXIuY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCnRyYW5zYWN0aW9ucyA8LSByZWFkLmNzdihwYXN0ZTAocm9vdF9wYXRoLCAidHJhbnMuY3N2IiksIGhlYWRlciA9IFRSVUUsIHNlcCA9ICI7IikNCmBgYA0KDQojIENsZWFuaW5nDQoNCiMjIEFjY291bnRzDQpgYGB7cn0NCnNhbXBsZV9uKGFjY291bnRzLCA1KQ0KYGBgDQpEaWUgQWNjb3VudC1UYWJlbGxlIGVudGjDpGx0IHZpZXIgS29sb25uZW46IGRpZSBBY2NvdW50LUlELCBkaWUgRGlzdHJpY3QtSUQgKHdlbGNoZSBhdWYgZGllIERpc3RyaWN0LVRhYmVsbGUgdmVyd2Vpc3QpLCBkaWUgRnJlcXVlbnosIHdlbGNoZSBkaWUgSMOkdWZpZ2tlaXQgZGVyIEF1c3N0ZWxsdW5nIGRlciBBYnJlY2hudW5nZW4gYWxzIEthdGVnb3JpZSBiZXNhZ3QsIHVuZCBkYXMgRXJzdGVsbHVuZ3NkYXR1bSBkZXMgQWNjb3VudHMuIERpZSBGcmVxdWVueiBrYW5uIGVpbmUgdm9uIGRyZWkgdmVyc2NoaWVkZW5lbiBXZXJ0ZW4gYW5uZWhtZW4uDQoNCmBgYHtyfQ0KdW5pcXVlKGFjY291bnRzJGZyZXF1ZW5jeSkNCmBgYA0KDQpOYWNoZm9sZ2VuZCBzb2xsZW4gZGllIEZyZXF1ZW56LVdlcnRlIMO8YmVyc2V0enQgdW5kIGRhcyBEYXR1bSBpbiBlaW4gcmljaHRpZ2VzIEZvcm1hdCB0cmFuc2Zvcm1pZXJ0IHdlcmRlbi4gQXVzc2VyZGVtIHNvbGwgZGllIFRhYmVsbGUgYXVmIGZlaGxlbmRlIFdlcnRlIMO8YmVycHLDvGZ0IHdlcmRlbi4NCg0KYGBge3J9DQphY2NvdW50cyRkYXRlIDwtIGFzLkRhdGUoYXMuY2hhcmFjdGVyKGFjY291bnRzJGRhdGUpLCBmb3JtYXQ9ICIleSVtJWQiKQ0KDQphY2NvdW50cyRmcmVxdWVuY3lbYWNjb3VudHMkZnJlcXVlbmN5ID09ICJQT1BMQVRFSyBNRVNJQ05FIl0gICA8LSAibW9udGhseSINCmFjY291bnRzJGZyZXF1ZW5jeVthY2NvdW50cyRmcmVxdWVuY3kgPT0gIlBPUExBVEVLIFRZRE5FIl0gICAgIDwtICJ3ZWVrbHkiDQphY2NvdW50cyRmcmVxdWVuY3lbYWNjb3VudHMkZnJlcXVlbmN5ID09ICJQT1BMQVRFSyBQTyBPQlJBVFUiXSA8LSAiYWZ0ZXJfdHJhbnNhY3Rpb24iDQoNCnN1bShpcy5uYShhY2NvdW50cykpDQpgYGANCg0KRXMgZ2lidCBhbHNvIGtlaW5lIGZlaGxlbmRlIFdlcnRlIGluIGRpZXNlbSBEYXRhZnJhbWUuDQoNCiMjIENhcmRzDQoNCmBgYHtyfQ0Kc2FtcGxlX24oY2FyZHMsIDUpDQpgYGANCkF1Y2ggYmVpIGNhcmQgbXVzcyBkYXMgRGF0dW0gdW1nZXdhbmRlbHQgd2VyZGVuLCBkZXIgemVpdGxpY2hlIFRlaWwgd2lyZCBpZ25vcmllcnQsIGRhIGVyIGltbWVyIDAgaXN0Lg0KDQpgYGB7cn0NCmNhcmRzJGlzc3VlZCA8LSBhcy5EYXRlKGFzLmNoYXJhY3RlcihjYXJkcyRpc3N1ZWQpLCBmb3JtYXQ9ICIleSVtJWQiKQ0KDQpjYXJkcyR0eXBlW2NhcmRzJHR5cGUgPT0gImdvbGQiXSAgICAgPC0gImNsYXNzaWMiDQpjYXJkcyA8LSBmaWx0ZXIoY2FyZHMsIHR5cGUgPT0gImNsYXNzaWMiKQ0KDQpzdW0oaXMubmEoY2FyZHMpKQ0KYGBgDQoNCiMjIENsaWVudHMNCg0KYGBge3J9DQpzYW1wbGVfbihjbGllbnRzLCAxMCkNCmBgYA0KDQpJbiBkZXIgVGFiZWxsZSBleGlzdGllcnQgZGllIFNwYWx0ZSBiaXJ0aF9udW1iZXIsIHdlbGNoZXIgbWFuIGF1ZiBkZW4gZXJzdGVuIEJsaWNrIGRpZSBEYXR1bXNyw6RwcmVzZW50YXRpb24gbmljaHQgYW5zaWVodC4NCkluIGRlciBEb2t1IHdpcmQgZGllIFN0cnVrdHVyIGRldXRsaWNoLCBzaWUgaXN0IGbDvHIgTcOkbm5lciBZWU1NREQgdW5kIGbDvHIgRnJhdWVuIFlZTU1ERCs1MERELg0KSW4gRm9sZ2Ugd2lyZCBkaWUgTnVtbWVyIGluIGlocmUgRGF0dW1zcsOkcHJlc2VudGF0aW9uIGtvbnZlcnRpZXJ0IHVuZCBkaWUgU3BhbHRlICJnZW5kZXIiIGFscyBtYWxlL2ZlbWFsZSBhdWZnZXNjaGzDvHNzZWx0Lg0KWnVkZW0gd2lyZCBkYXMgQWx0ZXIgZGVyIGNsaWVudHMgYmV6b2dlbiBhdWYgZGFzIEphaHIgMTk5OSBoZXJhdXNleHRyYWhpZXJ0LCBkYSBkZXIgRGF0ZW5zYXR6IGF1cyBkaWVzZW0gSmFociBzdGFtbXQuDQpFcyB3aXJkIG5pY2h0IHllYXIoU3lzLkRhdGUoKSkgdmVyd2VuZGV0LCBkYW1pdCBkaWUgRGF0ZW4gYXVjaCBpbiBadWt1bmZ0IGtvbnNpc3RlbnQgYmxpZWJlbi4NCg0KDQoNCmBgYHtyfQ0KIyBNb250aHMgYWJvdmUgMTIgbXVzdCBiZSBmZW1hbGUNCmNsaWVudHMgPC0gbXV0YXRlKGNsaWVudHMsIGdlbmRlciA9IA0KICAgICAgICAgICAgICAgICAgICAgaWZlbHNlKHN1YnN0cihiaXJ0aF9udW1iZXIsIDMsIDQpID4gMTIsICJmZW1hbGUiLCAibWFsZSIpKQ0KDQojIFN1YnN0cmFjdCB0aGUgNTAgdG8gZ2V0IHRoZSBiaXJ0aCBtb250aA0KY2xpZW50cyA8LSBtdXRhdGUoY2xpZW50cywgYmlydGhfbW9udGggPQ0KICAgICAgICAgICAgICAgICAgICAgaWZlbHNlKGFzLm51bWVyaWMoc3Vic3RyKGJpcnRoX251bWJlciwgMywgNCkpID4gMTIsDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgYXMubnVtZXJpYyhzdWJzdHIoYmlydGhfbnVtYmVyLCAzLCA0KSkgLSA1MCwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICBhcy5udW1lcmljKHN1YnN0cihiaXJ0aF9udW1iZXIsIDMsIDQpKSkpDQoNCiMgVHJhbnNmb3JtIHRoZSBiaXJ0aF9udW1iZXIgdG8gYSBkYXRlDQpjbGllbnRzIDwtIG11dGF0ZShjbGllbnRzLCBiaXJ0aF9udW1iZXIgPSBwYXN0ZSgiMTkiLA0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgc3Vic3RyKGJpcnRoX251bWJlciwgMSwgMiksIA0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgc3RyX3BhZChiaXJ0aF9tb250aCwgMiwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcGFkID0gIjAiKSwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHN1YnN0cihiaXJ0aF9udW1iZXIsIDUsIDYpLA0KICAgICAgICAgICAgICAgICAgIHNlcCA9ICIiLCBjb2xsYXBzZSA9IE5VTEwpKQ0KY2xpZW50cyRiaXJ0aF9kYXRlIDwtIGFzLkRhdGUoYXMuY2hhcmFjdGVyKGNsaWVudHMkYmlydGhfbnVtYmVyKSwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3JtYXQ9ICIlWSVtJWQiKQ0KDQojIFJlbW92ZSB1bnVzZWQgY29sdW1ucw0KY2xpZW50cyRiaXJ0aF9tb250aCA8LSBOVUxMDQpjbGllbnRzJGJpcnRoX251bWJlciA8LSBOVUxMDQoNCiMgR2V0IHRoZSBhZ2Ugb2YgdGhlIGNsaWVudHMgaW4gdGhlIHllYXIgMTk5OSBhbmQgc2F2ZSBpdCBpbiBhIGNvbHVtbg0KZ2V0X2FnZSA8LSBmdW5jdGlvbihiaXJ0aF9kYXRlKSB7DQogIGJhc2VfeWVhciA8LSA5OQ0KICB5ZWFyIDwtIHN1YnN0cihiaXJ0aF9kYXRlLCAzLCA0KQ0KICByZXN1bHQgPC0gYmFzZV95ZWFyIC0gYXMuaW50ZWdlcih5ZWFyKQ0KICANCiAgcmV0dXJuKHJlc3VsdCkNCn0NCmNsaWVudHMgPC0gY2xpZW50cyAlPiUNCiAgIG11dGF0ZShhZ2UgPSBnZXRfYWdlKGJpcnRoX2RhdGUpKQ0KDQpzdW0oaXMubmEoY2xpZW50cykpDQpgYGANCmBgYHtyfQ0KYWNjb3VudHMNCmNsaWVudHMNCmBgYA0KDQoNCg0KIyMgRGlzcG9zaXRpb25zDQoNCmBgYHtyfQ0Kc2FtcGxlX24oZGlzcG9zaXRpb25zLCA1KQ0KYGBgDQoNCkJlaSBEaXNwb3NpdGlvbnMgc29sbGVuIG51ciBPd25lcnMgdmVyd2VuZGV0IHdlcmRlbiwgZGEgZGllIEFuYWx5c2UgbnVyIEVpZ2VudMO8bWVyIHZvbiBLb250ZW4gYmVoYW5kZWxuIHNvbGwuDQoNCmBgYHtyfQ0KZGlzcG9zaXRpb25zIDwtIGRpc3Bvc2l0aW9ucyAlPiUgZmlsdGVyKHR5cGUgPT0gJ09XTkVSJykNCg0Kc3VtKGlzLm5hKGRpc3Bvc2l0aW9ucykpDQpgYGANCg0KIyMgRGlzdHJpY3RzDQoNCkJlaSBkaXN0cmljdCBzaW5kIGRpZSBTcGFsdGVubmFtZW4gZGVyIFRhYmVsbGUgYWJoYW5kZW4gZ2Vrb21tZW4uDQpIaWVyIHdlcmRlbiBkaWUgVGFiZWxsZW5uYW1lbiB1bWJlbmFubnQsIGdlbcOkc3MgRG9rdS4NCg0KYGBge3J9DQpkaXN0cmljdHMgPC0gcmVuYW1lKGRpc3RyaWN0cywgZGlzdHJpY3RfaWQgPSBBMSwgZGlzdHJpY3RfbmFtZSA9IEEyLCByZWdpb24gPSBBMywgDQogICAgICAgICAgICAgICAgICAgaW5oYWJpdGFudHMgPSBBNCwgbXVuaWNpcGFsaXRpZXNfaW5oYWJpdGFudHNfc21hbGxlcl80OTkgPSBBNSwgDQogICAgICAgICAgICAgICAgICAgbXVuaWNpcGFsaXRpZXNfaW5oYWJpdGFudHNfNTAwX3RvXzE5OTkgPSBBNiwgDQogICAgICAgICAgICAgICAgICAgbXVuaWNpcGFsaXRpZXNfaW5oYWJpdGFudHNfMjAwMF90b185OTk5ID0gQTcsIA0KICAgICAgICAgICAgICAgICAgIG11bmljaXBhbGl0aWVzX2luaGFiaXRhbnRzX2xhcmdlcl8xMDAwMCA9IEE4LCBjaXRpZXMgPSBBOSwgDQogICAgICAgICAgICAgICAgICAgdXJiYW5faW5oYWJpdGFudHNfcmF0aW8gPSBBMTAsIGF2ZXJhZ2Vfc2FsYXJ5ID0gQTExLA0KICAgICAgICAgICAgICAgICAgIHVuZW1wbG95bWVudF9yYXRlXzk1ID0gQTEyLCB1bmVtcGxveW1lbnRfcmF0ZV85NiA9IEExMywNCiAgICAgICAgICAgICAgICAgICBlbnRyZXByZW5ldXJzX3Blcl8xMDAwID0gQTE0LCBjcmltZXNfOTUgPSBBMTUsDQogICAgICAgICAgICAgICAgICAgY3JpbWVzXzk2ID0gQTE2KQ0KDQpzdW0oaXMubmEoZGlzdHJpY3RzKSkNCmBgYA0KDQojIyBUcmFuc2FjdGlvbnMNCg0KYGBge3J9DQpzYW1wbGVfbih0cmFuc2FjdGlvbnMsIDUpDQpgYGANCg0KDQpJbiBkZW4gVHJhbnNha3Rpb25lbiBtdXNzIGRhcyBEYXR1bSBnZW3DpHNzIEZvcm1hdCBZWU1NREQga29udmVydGllcnQgd2VyZGVuLg0KDQpgYGB7cn0NCiMgUmVuYW1lIGtfc3ltYm9sDQp0cmFuc2FjdGlvbnMgPC0gcmVuYW1lKHRyYW5zYWN0aW9ucywgYygiY2hhcmFjdGVyaXphdGlvbiIgPSAia19zeW1ib2wiKSkgDQoNCiMgQ2hhbmdlIGZvcm1hdHMNCnRyYW5zYWN0aW9ucyRkYXRlIDwtIGFzLkRhdGUoYXMuY2hhcmFjdGVyKHRyYW5zYWN0aW9ucyRkYXRlKSwgZm9ybWF0PSAiJXklbSVkIikNCnRyYW5zYWN0aW9ucyRhbW91bnQgPC0gYXMubnVtZXJpYyh0cmFuc2FjdGlvbnMkYW1vdW50KQ0KdHJhbnNhY3Rpb25zJGJhbGFuY2UgPC0gYXMubnVtZXJpYyh0cmFuc2FjdGlvbnMkYmFsYW5jZSkNCg0KIyBUcmFuc2xhdGUgdmFsdWVzDQp0cmFuc2FjdGlvbnMkdHlwZVt0cmFuc2FjdGlvbnMkdHlwZSA9PSAiUFJJSkVNIl0gPC0gImNyZWRpdCINCnRyYW5zYWN0aW9ucyR0eXBlW3RyYW5zYWN0aW9ucyR0eXBlID09ICJWWURBSiJdICA8LSAid2l0aGRyYXdhbCINCnRyYW5zYWN0aW9ucyR0eXBlW3RyYW5zYWN0aW9ucyR0eXBlID09ICJWWUJFUiJdICA8LSAid2l0aGRyYXdhbCINCg0KdHJhbnNhY3Rpb25zJG9wZXJhdGlvblt0cmFuc2FjdGlvbnMkb3BlcmF0aW9uID09ICJWS0xBRCJdICAgICAgICAgIDwtICJjYXNoIGNyZWRpdCINCnRyYW5zYWN0aW9ucyRvcGVyYXRpb25bdHJhbnNhY3Rpb25zJG9wZXJhdGlvbiA9PSAiUFJFVk9EIFogVUNUVSJdICA8LSAiY29sbGVjdGlvbiINCnRyYW5zYWN0aW9ucyRvcGVyYXRpb25bdHJhbnNhY3Rpb25zJG9wZXJhdGlvbiA9PSAiVllCRVIiXSAgICAgICAgICA8LSAiY2FzaCB3aXRoZHJhd2FsIg0KdHJhbnNhY3Rpb25zJG9wZXJhdGlvblt0cmFuc2FjdGlvbnMkb3BlcmF0aW9uID09ICIgIl0gICAgICAgICAgICAgIDwtICJ1bmtub3duIg0KdHJhbnNhY3Rpb25zJG9wZXJhdGlvblt0cmFuc2FjdGlvbnMkb3BlcmF0aW9uID09ICJQUkVWT0QgTkEgVUNFVCJdIDwtICJyZW1pdHRhbmNlIg0KdHJhbnNhY3Rpb25zJG9wZXJhdGlvblt0cmFuc2FjdGlvbnMkb3BlcmF0aW9uID09ICJWWUJFUiBLQVJUT1UiXSAgIDwtICJjYXJkIHdpdGhkcmF3YWwiDQoNCnRyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uW3RyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uID09ICIgIl0gPC0gInVua25vd24iDQp0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvblt0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvbiA9PSAiRFVDSE9EIl0gPC0gInBlbnNpb24iDQp0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvblt0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvbiA9PSAiVVJPSyJdIDwtICJpbnRlcmVzdCINCnRyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uW3RyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uID09ICJTSVBPIl0gPC0gImhvdXNlaG9sZCINCnRyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uW3RyYW5zYWN0aW9ucyRjaGFyYWN0ZXJpemF0aW9uID09ICJTTFVaQlkiXSA8LSAicGF5bWVudCBzdGF0ZW1lbnQiDQp0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvblt0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvbiA9PSAiUE9KSVNUTkUiXSA8LSAiaW5zdXJhbmNlIg0KdHJhbnNhY3Rpb25zJGNoYXJhY3Rlcml6YXRpb25bdHJhbnNhY3Rpb25zJGNoYXJhY3Rlcml6YXRpb24gPT0gIlNBTktDLiBVUk9LIl0gIDwtICJuZWdfaW50ZXJlc3QiDQp0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvblt0cmFuc2FjdGlvbnMkY2hhcmFjdGVyaXphdGlvbiA9PSAiVVZFUiJdICA8LSAibG9hbl9wYXkiDQoNCnN1bShpcy5uYSh0cmFuc2FjdGlvbnMpKQ0KYGBgDQoNCiMjIE9yZGVycw0KDQpgYGB7cn0NCnNhbXBsZV9uKG9yZGVycywgNSkNCmBgYA0KDQpgYGB7cn0NCiMgUmVuYW1lIGNvbHVtbiBrX3N5bWJvbA0Kb3JkZXJzIDwtIHJlbmFtZShvcmRlcnMsICJjaGFyYWN0ZXJpemF0aW9uIiA9ICJrX3N5bWJvbCIpIA0KDQojIFRyYW5zbGF0ZSBjb2x1bW4gY2hhcmFjdGVyaXphdGlvbg0Kb3JkZXJzJGNoYXJhY3Rlcml6YXRpb25bb3JkZXJzJGNoYXJhY3Rlcml6YXRpb24gPT0gIlNJUE8iXSAgICAgPC0gImhvdXNlaG9sZCINCm9yZGVycyRjaGFyYWN0ZXJpemF0aW9uW29yZGVycyRjaGFyYWN0ZXJpemF0aW9uID09ICJVVkVSIl0gICAgIDwtICJsb2FuIg0Kb3JkZXJzJGNoYXJhY3Rlcml6YXRpb25bb3JkZXJzJGNoYXJhY3Rlcml6YXRpb24gPT0gIlBPSklTVE5FIl0gPC0gImluc3VyYW5jZSINCm9yZGVycyRjaGFyYWN0ZXJpemF0aW9uW29yZGVycyRjaGFyYWN0ZXJpemF0aW9uID09ICJMRUFTSU5HIl0gIDwtICJsZWFzaW5nIg0KDQojIENhdGVnb3JpemUgTkEgYXMgdW5rbm93bg0Kb3JkZXJzJGNoYXJhY3Rlcml6YXRpb25baXMubmEob3JkZXJzJGNoYXJhY3Rlcml6YXRpb24pXSA8LSAidW5rbm93biINCg0Kb3JkZXJzJGFtb3VudCA8LSBhcy5udW1lcmljKG9yZGVycyRhbW91bnQpDQoNCnN1bShpcy5uYShsb2FucykpDQpgYGANCg0KDQojIyBMb2Fucw0KDQpgYGB7cn0NCnNhbXBsZV9uKGxvYW5zLCA1KQ0KYGBgDQoNCmBgYHtyfQ0KbG9hbnMkZGF0ZSA8LSBhcy5EYXRlKGFzLmNoYXJhY3Rlcihsb2FucyRkYXRlKSwgZm9ybWF0PSAiJXklbSVkIikNCmxvYW5zJHBheW1lbnRzIDwtIGFzLm51bWVyaWMobG9hbnMkcGF5bWVudHMpDQpsb2FucyRhbW91bnQgPC0gYXMubnVtZXJpYyhsb2FucyRhbW91bnQpDQoNCiMgTWFrZSBjb2x1bW4gc3RhdHVzIGh1bWFuIHJlYWRhYmxlDQpsb2FucyRzdGF0dXNbbG9hbnMkc3RhdHVzID09ICJBIl0gPC0gImZpbmlzaGVkX3BheWVkIg0KbG9hbnMkc3RhdHVzW2xvYW5zJHN0YXR1cyA9PSAiQiJdIDwtICJmaW5pc2hlZF9ub3RfcGF5ZWQiDQpsb2FucyRzdGF0dXNbbG9hbnMkc3RhdHVzID09ICJDIl0gPC0gInJ1bm5pbmdfb2siDQpsb2FucyRzdGF0dXNbbG9hbnMkc3RhdHVzID09ICJEIl0gPC0gInJ1bm5pbmdfaW5fZGVidCINCg0Kc3VtKGlzLm5hKGxvYW5zKSkNCmBgYA0KDQoNCiMgWnVzYW1tZW5mw7xnZW4gZGVyIERhdGFmcmFtZXMNCg0KSW4gZGllc2VtIEFic2Nobml0dCB3ZXJkZW4gZGllIHZlcnNjaGllZGVuZW4gVGFiZWxsZW4genVzYW1tZW4gZ2VzZXR6dC4NCkRhYmVpIHdlcmRlbiBsb2FuLCBjYXJkcyB1bmQgZGlzdHJpY3QgaXQgbGVmdCBqb2luIGFuZ2Vow6RuZ3QsIGRhbWl0IGZlaGxlbmRlIFNwYWx0ZW4gbmljaHQgZGVuIERhdGVuc2F0eiB2ZXJrbGVpbmVybi4NCkRpZSBUcmFuc2FrdGlvbnNkYXRlbiB3ZXJkZW4gaGllciBub2NoIG5pY2h0IHp1c2FtbWVuZ2Vmw7xocnQuDQoNCmBgYHtyfQ0KIyBDbGllbnRzIG1pdCBkaXNwb3NpdGlvbnMNCmZ1bGwgPC0gaW5uZXJfam9pbihjbGllbnRzLCBkaXNwb3NpdGlvbnMsIGJ5ID0gImNsaWVudF9pZCIsIHN1ZmZpeCA9IGMoIi5jbGllbnQiLCAiLmRpc3Bvc2l0aW9ucyIpKQ0Kc3VtKGR1cGxpY2F0ZWQoZnVsbCRjbGllbnRfaWQpKQ0KDQojIEZ1bGwgbWl0IGFjY291bnQNCmZ1bGwgPC0gaW5uZXJfam9pbihmdWxsLCBhY2NvdW50cywgYnkgPSAiYWNjb3VudF9pZCIsIHN1ZmZpeCA9IGMoIiIsICIuYWNjb3VudHMiKSkNCnN1bShkdXBsaWNhdGVkKGZ1bGwkYWNjb3VudF9pZCkpDQoNCiMgRnVsbCBtaXQgbG9hbg0Kc3VtKGR1cGxpY2F0ZWQobG9hbnMkYWNjb3VudF9pZCkpDQpmdWxsIDwtIGxlZnRfam9pbihmdWxsLCBsb2FucywgYnkgPSAiYWNjb3VudF9pZCIsIHN1ZmZpeCA9IGMoIiIsICIubG9hbnMiKSkNCg0KIyBGdWxsIG1pdCBjYXJkcw0KZnVsbCA8LSBsZWZ0X2pvaW4oZnVsbCwgY2FyZHMsIGJ5ID0gImRpc3BfaWQiLCBzdWZmaXggPSBjKCIiLCAiLmNhcmRzIikpDQpzdW0oZHVwbGljYXRlZChjYXJkcyRkaXNwX2lkKSkNCg0KIyBEaXN0cmljdCBJbmZvcm1hdGlvbnMgZm9yIGNsaWVudA0KZnVsbCA8LSBsZWZ0X2pvaW4oZnVsbCwgZGlzdHJpY3RzLCBieSA9ICJkaXN0cmljdF9pZCIpDQoNCiMgRGlzdHJpY3QgaW5mb3JtYXRpb25zIGZvciBjYXJkDQpmdWxsIDwtIGxlZnRfam9pbihmdWxsLCBkaXN0cmljdHMsIGJ5ID0gYygiZGlzdHJpY3RfaWQuYWNjb3VudHMiPSJkaXN0cmljdF9pZCIpLCBzdWZmaXggPSBjKCIiLCAiLmFjY291bnRzIikpDQoNCnNhbXBsZV9uKGZ1bGwsIDUpDQpgYGANCg0KSnVnZW5kbGljaGUgdW5kIFBlcnNvbmVuLCB3ZWxjaGUgd8OkaHJlbmQgZGVzIFplaXRyYXVtcyBkZXMgRGF0ZW5zYXR6ZXMgZXJzdCBlcndhY2hzZW4gd29yZGVuIHNpbmQsIHNvbGxlbiBuaWNodCBpbiBkaWUgQXVzd2VydHVuZyBlaW5mbGllc3Nlbi4NCkRhIHNpY2hlciBkZXIgRGF0ZW5zYXR6IMO8YmVyIGVpbmVuIFplaXRyYXVtIHZvbiBzZWNocyBKYWhyZW4gZXJzdHJlY2t0IHdlcmRlbiBhbGxlIENsaWVudHMgasO8bmdlciBhbHMgMjUgSmFocmUgaGVyYXVzZ2VmaWx0ZXJ0Lg0KDQpgYGB7cn0NCmZ1bGwgPC0gZnVsbCAlPiUgZmlsdGVyKGFnZSA+PSAyNSkNCmBgYA0KDQpgYGB7cn0NCmZ1bGwNCmBgYA0KDQoNCg0KQWxzIG7DpGNoc3RlcyB3ZXJkZW4gYWxsZSBaZWlsZW4gbWl0IEtyZWRpdGthcnRlbmvDpHVmZXJuIHZvbiBkZW4gTmljaHQtS8OkdWZlcm4gZ2V0cmVubnQNCg0KDQpgYGB7cn0NCmhhc19jYXJkX2Z1bmN0aW9uIDwtIGZ1bmN0aW9uKHgpIHsNCiAgaWYgKGlzLm5hKHgpKSB7DQogICAgcmV0dXJuKEZBTFNFKQ0KICB9IGVsc2Ugew0KICAgIHJldHVybihUUlVFKQ0KICB9DQp9DQoNCiMgRXJzdGVsbGUgZGllIG5ldWUgU3BhbHRlICJoYXNfY2FyZCIgbWl0IGRlciBhcHBseSgpLUZ1bmt0aW9uIHVuZCBkZXIgb2JlbiBkZWZpbmllcnRlbiBGdW5rdGlvbg0KZnVsbCRoYXNfY2FyZCA8LSBzYXBwbHkoZnVsbFssICJjYXJkX2lkIl0sIGhhc19jYXJkX2Z1bmN0aW9uKQ0KZnVsbCA8LSBmdWxsICU+JSBzZWxlY3QoLWNhcmRfaWQsIC10eXBlLmNhcmRzKQ0KDQpjYXJkX2J1eWVycyA8LSBmdWxsICU+JSBmaWx0ZXIoaGFzX2NhcmQgPT0gVFJVRSkNCg0Kbm9uX2J1eWVycyA8LSBmdWxsICU+JSBmaWx0ZXIoaGFzX2NhcmQgPT0gRkFMU0UpDQpgYGANCg0KSmV0enQga8O2bm5lbiB3aXIgbm9jaCBlaW5pZ2UgVmFyaWFiZWxuIGVudGZlcm5lbiwgd2VsY2hlIGtlaW5lbiBFaW5mbHVzcyBhdWYgZGFzIE1vZGVsbCBoYWJlbiBzb2xsdGVuLiANCg0KIyBBdWZzdW1taWVyZW4gZGVyIFRyYW5zYWt0aW9uZW4NCg0KYGBge3J9DQpzYW1wbGVfbih0cmFuc2FjdGlvbnMsIDUpDQpgYGANCg0KDQpCZWkgZGVuIFRyYW5zYWt0aW9uZW4gaXN0IGpld2VpbHMgZGllIG5ldWUgQmFsYW5jZSB1bmQgZGVyIEJldHJhZyBkZXIgVHJhbnNha3Rpb24gYW5nZWdlYm4uIERhcyBQcm9ibGVtIGRhYmVpIGlzdCwgZGFzcyBhbGxlIEJldHLDpGdlIHBvc2l0aXYgc2luZCwgYXVjaCB3ZW5uIHNpZSBlaWdlbnRsaWNoIGFiZ2V6b2dlbiB3ZXJkZW4uIA0KDQpgYGB7cn0NCmRmIDwtIHRyYW5zYWN0aW9ucw0KDQojIEtvbnZlcnRpZXJlbiBTaWUgZGFzICdkYXRlJy1GZWxkIGluIGVpbiBEYXR1bQ0KZGYkZGF0ZSA8LSBhcy5EYXRlKGRmJGRhdGUpDQoNCiMgU29ydGllcmVuIFNpZSBkYXMgRGF0YWZyYW1lIG5hY2ggTnV0emVyIHVuZCBEYXR1bQ0KZGYgPC0gZGZbb3JkZXIoZGYkYWNjb3VudF9pZCwgZGYkZGF0ZSksIF0NCg0KIyBHcnVwcGllcmVuIFNpZSBkYXMgRGF0YWZyYW1lIG5hY2ggTnV0emVyDQpkZiA8LSBncm91cF9ieShkZiwgYWNjb3VudF9pZCkNCg0KIyBJdGVyaWVyZW4gU2llIMO8YmVyIGplZGVuIE51dHplciB1bmQgYmVhcmJlaXRlbiBTaWUgZGllIFRyYW5zYWt0aW9uZW4NCmRmIDwtIGRmICU+JSANCiAgc3VtbWFyaXplKHRyYW5zYWN0aW9ucyA9IHsNCiAgICAjIEbDvGdlbiBTaWUgZWluZSBTcGFsdGUgbWl0IGRlbSB2b3JoZXJpZ2VuIEtvbnRvc3RhbmQgaGluenUNCiAgICBwcmV2X2JhbGFuY2UgPC0gaWZlbHNlKHJvd19udW1iZXIoKSA9PSAxLCBOQSwgbGFnKGJhbGFuY2UsIG9yZGVyX2J5ID0gZGF0ZSkpDQoNCiAgICAjIEJlcmVjaG5lbiBTaWUgZGVuIFVudGVyc2NoaWVkIHp3aXNjaGVuIGRlbSB2b3JoZXJpZ2VuIEtvbnRvc3RhbmQgdW5kIGRlbSBha3R1ZWxsZW4gS29udG9zdGFuZA0KICAgIGRpZmZlcmVuY2UgPC0gYmFsYW5jZSAtIHByZXZfYmFsYW5jZQ0KDQogICAgIyBGw7xnZW4gU2llIGVpbmUgU3BhbHRlIG1pdCBkZXIgVHJhbnNha3Rpb25zYXJ0IGhpbnp1DQogICAgdHlwZSA8LSAiYWRkIg0KICAgIHR5cGVbZGlmZmVyZW5jZSA8IDBdIDwtICJzdWJ0cmFjdCINCg0KICAgICMgRXJzdGVsbGVuIFNpZSBkYXMgRGF0YWZyYW1lIG1pdCBkZW4gVHJhbnNha3Rpb25lbiBmw7xyIGplZGVuIE51dHplcg0KICAgIHRyYW5zYWN0aW9uc19kZiA8LSBkYXRhLmZyYW1lKGFtb3VudCwgZGF0ZSwgYmFsYW5jZSwgcHJldl9iYWxhbmNlLCBkaWZmZXJlbmNlLCB0eXBlKQ0KICAgIHRyYW5zYWN0aW9uc19kZg0KICB9KSAlPiUNCiAgdW5ncm91cCgpDQoNCnRyYW5zYWN0aW9ucyA8LSB1bm5lc3QoZGYsIHRyYW5zYWN0aW9ucykNCg0KIyBIaW56dWbDvGdlbiBkZXMgZXJzdGVuIGFtb3VudHMgYmVpIGplZGVtIEFjY291bnQNCnRyYW5zYWN0aW9ucyRkaWZmZXJlbmNlIDwtIGlmZWxzZShpcy5uYSh0cmFuc2FjdGlvbnMkZGlmZmVyZW5jZSkgJiBpcy5uYSh0cmFuc2FjdGlvbnMkcHJldl9iYWxhbmNlKSAmICh0cmFuc2FjdGlvbnMkYW1vdW50ID09IHRyYW5zYWN0aW9ucyRiYWxhbmNlKSwgdHJhbnNhY3Rpb25zJGFtb3VudCwgdHJhbnNhY3Rpb25zJGRpZmZlcmVuY2UpDQoNCnRyYW5zYWN0aW9ucyRhbW91bnQgPC0gTlVMTA0KDQp0cmFuc2FjdGlvbnMNCmBgYA0KDQojIyBadXNhbW1lbmZhc3NlbiBkZXIgVHJhbnNha3Rpb25lbiBmw7xyIENhcmQgQnV5ZXJzDQoNClVtIGRpZSBUcmFuc2FrdGlvbnMtRGF0ZW4gaW4gdW5zZXJlbiBNb2RlbGxlbiBicmF1Y2hlbiB6dSBrw7ZubmVuLCBtdXNzIGbDvHIgamVkZW4gS3VuZGUgZWluIFJvbGx1cC1GZW5zdGVyIGVyc3RlbGx0IHdlcmRlbi4gRGllcyBmYXNzdCBkaWUgVHJhbnNha3Rpb25lbiBkZXIgenfDtmxmIE1vbmF0ZSB2b3IgZGVtIEVyaGFsdCBlaW5lciBLcmVkaXRrYXJ0ZSB6dXNhbW1lbiAobWludXMgZWluZW4gTW9uYXQgSW5wdXQgTGFnKS4gQXVmIGRpZXNlbiBNb25hdGVuIHdlcmRlbiBkaWUgVHJhbnNha3Rpb25lbiB6dXNhbW1lbmdlZmFzc3QuDQoNCkFscyBlcnN0ZXMgd2VyZGVuIGRpZSBUcmFuc2FrdGlvbmVuIHZvbiBLdW5kZW4gaGVyYXVzZ2VmaWx0ZXJ0LCB3ZWxjaGUgZWluZSBLcmVkaXRrYXJ0ZSBoYWJlbi4NCg0KYGBge3J9DQphY2NvdW50X2lkcyA8LSBjYXJkX2J1eWVycyRhY2NvdW50X2lkDQpidXllcl90cmFuc2FjdGlvbnMgPC0gdHJhbnNhY3Rpb25zW3RyYW5zYWN0aW9ucyRhY2NvdW50X2lkICVpbiUgYWNjb3VudF9pZHMsXQ0KYGBgDQoNCkRhcyBpc3N1ZWQtRGF0dW0gc29sbCB6dSBkZW4gVHJhbnNha3Rpb25lbiBoaW56dWdlZsO8Z3Qgd2VyZGVuLCBkYW1pdCBkaWVzZSBmw7xyIGplZGVuIEt1bmRlbiBlaW56ZWxuIGdlZmlsdGVydCB3ZXJkZW4ga8O2bm5lbi4NCg0KYGBge3J9DQpidXllcl90cmFuc2FjdGlvbnMgPC0gbWVyZ2UoYnV5ZXJfdHJhbnNhY3Rpb25zLCBmdWxsWywgYygiYWNjb3VudF9pZCIsICJpc3N1ZWQiKV0sIGJ5PSJhY2NvdW50X2lkIikNCmBgYA0KDQpOdW4gc29sbGVuIFRyYW5zYWt0aW9uZW4gc28gZ2VmaWx0ZXJ0IHdlcmRlbiwgZGFzcyBudXIgbm9jaCBUcmFuc2FrdGlvbmVuIHp3aXNjaGVuIDEzIE1vbmF0ZW4gdW5kIDEgTW9uYXQgdm9yIGRlbSBJc3N1ZWQgRGF0dW0gdm9ya29tbWVuLg0KDQpgYGB7cn0NCmZpbHRlcmVkX2RmIDwtIGJ1eWVyX3RyYW5zYWN0aW9ucyAlPiUNCiAgZmlsdGVyKGRhdGUgPj0gYXMuRGF0ZShwYXN0ZTAoZm9ybWF0KGlzc3VlZCAtIG1vbnRocygxMyksICIlWS0lbSIpLCAiLTAxIikpICYNCiAgICAgICAgIGRhdGUgPD0gYXMuRGF0ZShwYXN0ZTAoZm9ybWF0KGlzc3VlZCAtIG1vbnRocygxKSwgIiVZLSVtIiksICItMDEiKSkgLSAxKQ0KYGBgDQoNCkF1ZiBkaWVzZW4gRGF0ZW4gd2lyZCBlaW5lIEdydXBwaWVydW5nIGFuaGFuZCBkZXIgYWNjb3VudF9pZCB1bmQgZGVzIE1vbmF0cyBnZW1hY2h0IHdlcmRlbi4gRGllIFdlcnRlIGluIGRpZmZlcmVuY2UgdW5kIGJhbGFuY2Ugd2VyZGVuIHp1IHZlcnNjaGllZGVuZW4gTWV0cmlrZW4genVzYW1tZW5nZWZhc3N0Og0KQXVmIGJlaWRlbiBXZXJ0ZW4gZXJmYXNzZW4gd2lyIGRhcyBNaW5pbXVtLCBkYXMgTWF4aW11bSwgZGVuIER1cmNoc2Nobml0dCwgZGVuIE1lZGlhbiB1bmQgZGllIFN0YW5kYXJkYWJ3ZWljaHVuZy4gQmVpIGRlciBiYWxhbmNlIGVyZmFzc2VuIHdpciBkaWUgZXJzdGUgdW5kIGRpZSBsZXR6dGUgQmFsYW5jZSBkZXMgTW9uYXRzIHVuZCBiZWkgZGlmZmVyZW5jZSBkaWUgQW56YWhsIHBvc2l0aXZlIHVuZCBuZWdhdGl2ZSBkaWZmZXJlbmNlcy4NCg0KYGBge3J9DQpzdW1tYXJ5X2RmIDwtIGZpbHRlcmVkX2RmICU+JQ0KICBncm91cF9ieShhY2NvdW50X2lkLCBtb250aCA9IGZvcm1hdChkYXRlLCAiJVktJW0iKSkgJT4lDQogIHN1bW1hcmlzZSgNCiAgICBtYXhfZGlmZmVyZW5jZSA9IG1heChkaWZmZXJlbmNlKSwNCiAgICBtaW5fZGlmZmVyZW5jZSA9IG1pbihkaWZmZXJlbmNlKSwNCiAgICBtYXhfYmFsYW5jZSA9IG1heChiYWxhbmNlKSwNCiAgICBtaW5fYmFsYW5jZSA9IG1pbihiYWxhbmNlKSwNCiAgICBpbml0aWFsX2JhbGFuY2UgPSBmaXJzdChiYWxhbmNlKSwNCiAgICBlbmRfYmFsYW5jZSA9IGxhc3QoYmFsYW5jZSksDQogICAgbWVhbl9iYWxhbmNlID0gbWVhbihiYWxhbmNlKSwNCiAgICBtZWRpYW5fYmFsYW5jZSA9IG1lZGlhbihiYWxhbmNlKSwNCiAgICBzdGRfYmFsYW5jZSA9IHNkKGJhbGFuY2UpLA0KICAgIG1lYW5fZGlmZmVyZW5jZSA9IG1lYW4oZGlmZmVyZW5jZSksDQogICAgbWVkaWFuX2RpZmZlcmVuY2UgPSBtZWRpYW4oZGlmZmVyZW5jZSksDQogICAgc3RkX2RpZmZlcmVuY2UgPSBzZChkaWZmZXJlbmNlKSwNCiAgICBjb3VudF9wb3NpdGl2ZV9kaWZmZXJlbmNlID0gc3VtKGRpZmZlcmVuY2UgPiAwKSwNCiAgICBjb3VudF9uZWdhdGl2ZV9kaWZmZXJlbmNlID0gc3VtKGRpZmZlcmVuY2UgPCAwKQ0KICApDQpzdW1tYXJ5X2RmIDwtIHN1bW1hcnlfZGYgJT4lDQogIGFycmFuZ2UoYWNjb3VudF9pZCkNCnN1bW1hcnlfZGYNCmBgYA0KDQpKZXR6dCBoYWJlbiB3aXIgZsO8ciBqZWRlIGFjY291bnRfaWQgZWluZSDDnGJlcnNpY2h0IMO8YmVyIGRpZSAxMiBNb25hdGUgdm9yIGRlbSBLYXJ0ZW5lcmhhbHQuIERhIGVzIGFiZXIgc2VpbiBrw7ZubnRlLCBkYXNzIGVzIEt1bmRlbiBnaWJ0LCB3ZWxjaGUgbmljaHQgamVkZW4gTW9uYXQgZWluZSBUcmFuc2FrdGlvbiBoYXR0ZW4gb2RlciBkaWUgS3JlZGl0a2FydGUgYmVyZWl0cyBpbSBlcnN0ZW4gSmFociBlcmhhbHRlbiBoYWJlbiwga29udHJvbGxpZXJlbiB3aXIgZGllcyBub2NoLg0KDQpgYGB7cn0NCiMgS29udHJvbGxlLCBvYiBmw7xyIGplZGVuIGFjY291bnRfaWQgMTIgbW9uYXRlIHZvcmhhbmRlbiBzaW5kDQptb250aF9jb3VudHMgPC0gc3VtbWFyeV9kZiAlPiUNCiAgZ3JvdXBfYnkoYWNjb3VudF9pZCkgJT4lDQogIHN1bW1hcmlzZShtb250aF9jb3VudCA9IG5fZGlzdGluY3QobW9udGgpKQ0KDQojIFByw7xmZSwgb2IgamVkZXMgYWNjb3VudF9pZCAxMiBNb25hdGUgaGF0DQptb250aF9jb3VudHMgPC0gbW9udGhfY291bnRzICU+JSBmaWx0ZXIobW9udGhfY291bnQgIT0gMTIpDQptb250aF9jb3VudHMNCg0KYGBgDQoxNjIgS3VuZGVuIGhhYmVuIGFsc28ga2VpbmUgMTIga29udGludWllcmxpY2hlbiBNb25hdGUgbWl0IFRyYW5zYWt0aW9uZW4sIGJldm9yIHNpZSBlaW5lIEthcnRlIGJla29tbWVuLiBXaXIgZmlsdGVybiBkaWVzZSBLdW5kZW4gcmF1cy4NCg0KYGBge3J9DQpzdW1tYXJ5X2RmIDwtIHN1YnNldChzdW1tYXJ5X2RmLCAhYWNjb3VudF9pZCAlaW4lIG1vbnRoX2NvdW50cyRhY2NvdW50X2lkKQ0KYGBgDQoNCkFscyBuw6RjaHN0ZXMgbnVtbWVyaWVyZW4gd2lyIGRpZSBNb25hdGUgcHJvIGFjY291bnRfaWQgdm9uIDEgYmlzIDEyIGR1cmNoLCB1bSBkYW5hY2ggd2VpdGVyIGRhbWl0IGFyYmVpdGVuIHp1IGvDtm5uZW4uDQoNCmBgYHtyfQ0KIyBTb3J0aWVyZW4gbmFjaCBhY2NvdW50X2lkIHVuZCBNb25hdA0Kc3VtbWFyeV9kZiA8LSBzdW1tYXJ5X2RmW29yZGVyKHN1bW1hcnlfZGYkYWNjb3VudF9pZCwgcmV2KHN1bW1hcnlfZGYkbW9udGgpKSxdDQoNCiMgSGluenVmw7xnZW4gZGVyIE1vbmF0c251bW1lcg0Kc3VtbWFyeV9kZiRncm91cF9pZCA8LSBhdmUoc2VxX2Fsb25nKHN1bW1hcnlfZGYkYWNjb3VudF9pZCksIHN1bW1hcnlfZGYkYWNjb3VudF9pZCwgRlVOID0gZnVuY3Rpb24oeCkge3h9KQ0Kc3VtbWFyeV9kZiRtb250aF9udW1iZXIgPC0gMTINCg0KZm9yIChpIGluIDI6bnJvdyhzdW1tYXJ5X2RmKSkgew0KICBpZiAoc3VtbWFyeV9kZiRhY2NvdW50X2lkW2ldICE9IHN1bW1hcnlfZGYkYWNjb3VudF9pZFtpLTFdKSB7DQogICAgc3VtbWFyeV9kZiRtb250aF9udW1iZXJbaV0gPC0gMTINCiAgfSBlbHNlIHsNCiAgICBzdW1tYXJ5X2RmJG1vbnRoX251bWJlcltpXSA8LSBzdW1tYXJ5X2RmJG1vbnRoX251bWJlcltpLTFdIC0gMQ0KICB9DQp9DQoNCiMgRW50ZmVybmUgZGllIFNwYWx0ZSBncm91cF9pZA0Kc3VtbWFyeV9kZiRncm91cF9pZCA8LSBOVUxMDQpzdW1tYXJ5X2RmJG1vbnRoIDwtIE5VTEwNCmBgYA0KDQpOdW4gbcO2Y2h0ZW4gd2lyIGFsbGUgSW5mb3JtYXRpb25lbiBwcm8gYWNjb3VudF9pZCBhdWYgZWluZXIgWmVpbGUgaGFiZW4uIERhZsO8ciBicmF1Y2hlbiB3aXIgcGl2b3Rfd2lkZXIuIFNvIGhhYmVuIHdpciBqZWRlIEtlbm56YWhsIHp3w7ZsZiBtYWwgYWxzIEtvbG9ubmUsIGplZGVzIE1hbCBtaXQgZGVyIHZvcmhlciBlcnN0ZWxsdGVuIE1vbmF0c251bW1lciBhbHMgU3VmZml4Lg0KDQpgYGB7cn0NCnN1bW1hcnlfZGZfYnV5ZXJzIDwtIHN1bW1hcnlfZGYgJT4lDQogIGdyb3VwX2J5KGFjY291bnRfaWQpICU+JQ0KICBwaXZvdF93aWRlcihuYW1lc19mcm9tID0gbW9udGhfbnVtYmVyLA0KICAgICAgICAgICAgICB2YWx1ZXNfZnJvbSA9IGMobWF4X2RpZmZlcmVuY2UsIG1pbl9kaWZmZXJlbmNlLCBtYXhfYmFsYW5jZSwgbWluX2JhbGFuY2UsIGluaXRpYWxfYmFsYW5jZSwgZW5kX2JhbGFuY2UsIG1lYW5fYmFsYW5jZSwgbWVkaWFuX2JhbGFuY2UsIHN0ZF9iYWxhbmNlLCBtZWRpYW5fYmFsYW5jZSwgc3RkX2JhbGFuY2UsIG1lYW5fZGlmZmVyZW5jZSwgbWVkaWFuX2RpZmZlcmVuY2UsIHN0ZF9kaWZmZXJlbmNlLCBjb3VudF9wb3NpdGl2ZV9kaWZmZXJlbmNlLCBjb3VudF9uZWdhdGl2ZV9kaWZmZXJlbmNlKSkNCg0Kc3VtbWFyeV9kZl9idXllcnMgPC0gbWVyZ2Uoc3VtbWFyeV9kZl9idXllcnMsIGNhcmRfYnV5ZXJzLCBieSA9ICJhY2NvdW50X2lkIikNCmBgYA0KDQpgYGB7cn0NCnN1bW1hcnlfZGZfYnV5ZXJzDQpgYGANCg0KDQojIyBGaW5kZW4gdm9uIMOkaG5saWNoZW4gTnV0emVybg0KDQpadSBqZWRlbSBLYXJ0ZW5rw6R1ZmVyIHNvbGwgbnVuIGVpbiDDpGhubGljaGVyIE5pY2h0a8OkdWZlciBnZWZ1bmRlbiB3ZXJkZW4NCg0KYGBge3J9DQojIEVyc3RlbGxlIGVpbiBsZWVyZXMgRGF0YUZyYW1lICJzaW1pbGFyX25vbl9idXllcnMiDQpzaW1pbGFyX25vbl9idXllcnMgPC0gZGF0YS5mcmFtZSgpDQoNCiMgSXRlcmllcmUgw7xiZXIgamVkZW4gS3VuZGVuIGltIERhdGFGcmFtZSAiYnV5ZXJzIg0KZm9yIChpIGluIDE6bnJvdyhjYXJkX2J1eWVycykpIHsNCiAgIyBXw6RobGUgZGVuIGFrdHVlbGxlbiBLdW5kZW4gYXVzIGRlbSBEYXRhRnJhbWUgImJ1eWVycyINCiAgY3VycmVudF9idXllciA8LSBjYXJkX2J1eWVyc1tpLCBdDQogIA0KICAjIFfDpGhsZSBkaWUgS3VuZGVuIGF1cyBkZW0gRGF0YUZyYW1lICJub25fYnV5ZXJzIiBhdXMsIGRpZSBkYXMgZ2xlaWNoZSBHZXNjaGxlY2h0IGhhYmVuIHVuZCBtw7ZnbGljaHN0IGdsZWljaCBhbHQgc2luZCB1bmQgbcO2Z2xpY2hzdCBpbiBkZXIgZ2xlaWNoZW4gUmVnaW9uIHdvaG5lbg0KICBzaW1pbGFyX25vbl9idXllcnNfdGVtcCA8LSBub25fYnV5ZXJzICU+JQ0KICAgIGZpbHRlcihnZW5kZXIgPT0gY3VycmVudF9idXllciRnZW5kZXIsDQogICAgICAgICAgIGFicyhhZ2UgLSBjdXJyZW50X2J1eWVyJGFnZSkgPD0gNSwNCiAgICAgICAgICAgcmVnaW9uID09IGN1cnJlbnRfYnV5ZXIkcmVnaW9uKQ0KICANCiAgIyBXw6RobGUgZGVuIGFtIGJlc3RlbiBwYXNzZW5kZW4gS3VuZGVuIGF1cyAic2ltaWxhcl9ub25fYnV5ZXJzX3RlbXAiIGF1cw0KICBiZXN0X21hdGNoX2luZGV4IDwtIHdoaWNoLm1pbihhYnMoc2ltaWxhcl9ub25fYnV5ZXJzX3RlbXAkYWdlIC0gY3VycmVudF9idXllciRhZ2UpKQ0KICBiZXN0X21hdGNoIDwtIHNpbWlsYXJfbm9uX2J1eWVyc190ZW1wW2Jlc3RfbWF0Y2hfaW5kZXgsIF0NCiAgYmVzdF9tYXRjaCRpc3N1ZWQgPC0gY3VycmVudF9idXllciRpc3N1ZWQNCiAgDQogICMgZGFtaXQgbmljaHQgZGVyIGdsZWljaGUgbm9uX2J1eWVyIGRvcHBlbHQgdmVyd2VuZGV0IHdpcmQNCiAgbm9uX2J1eWVycyA8LSBub25fYnV5ZXJzICU+JSBmaWx0ZXIoY2xpZW50X2lkICE9IGJlc3RfbWF0Y2gkY2xpZW50X2lkKQ0KICANCiAgDQogIHNpbWlsYXJfbm9uX2J1eWVycyA8LSByYmluZChzaW1pbGFyX25vbl9idXllcnMsIGJlc3RfbWF0Y2gpDQogIA0KfQ0KYGBgDQoNCg0KIyMgWnVzYW1tZW5mYXNzZW4gZGVyIFRyYW5zYWt0aW9uZW4gZsO8ciBub24gYnV5ZXJzDQoNCkF1Y2ggaGllciBzb2xsZW4gZGllIFRyYW5zYWt0aW9uZW4gZ2xlaWNoIHdpZSBiZWkgZGVuIEvDpHVmZXJuIHp1c2FtbWVuZ2VmYXNzdCB3ZXJkZW4uDQoNCmBgYHtyfQ0KYWNjb3VudF9pZHMgPC0gc2ltaWxhcl9ub25fYnV5ZXJzJGFjY291bnRfaWQNCm5vbl9idXllcl90cmFuc2FjdGlvbnMgPC0gdHJhbnNhY3Rpb25zW3RyYW5zYWN0aW9ucyRhY2NvdW50X2lkICVpbiUgYWNjb3VudF9pZHMsXQ0KDQpub25fYnV5ZXJfdHJhbnNhY3Rpb25zIDwtIG1lcmdlKG5vbl9idXllcl90cmFuc2FjdGlvbnMsIHNpbWlsYXJfbm9uX2J1eWVyc1ssIGMoImFjY291bnRfaWQiLCAiaXNzdWVkIildLCBieT0iYWNjb3VudF9pZCIpDQoNCmBgYA0KYGBge3J9DQpmaWx0ZXJlZF9kZiA8LSBub25fYnV5ZXJfdHJhbnNhY3Rpb25zICU+JQ0KICBmaWx0ZXIoZGF0ZSA+PSBhcy5EYXRlKHBhc3RlMChmb3JtYXQoaXNzdWVkIC0gbW9udGhzKDEzKSwgIiVZLSVtIiksICItMDEiKSkgJg0KICAgICAgICAgZGF0ZSA8PSBhcy5EYXRlKHBhc3RlMChmb3JtYXQoaXNzdWVkIC0gbW9udGhzKDEpLCAiJVktJW0iKSwgIi0wMSIpKSAtIDEpDQpgYGANCmBgYHtyfQ0Kc3VtbWFyeV9kZiA8LSBmaWx0ZXJlZF9kZiAlPiUNCiAgZ3JvdXBfYnkoYWNjb3VudF9pZCwgbW9udGggPSBmb3JtYXQoZGF0ZSwgIiVZLSVtIikpICU+JQ0KICBzdW1tYXJpc2UoDQogICAgbWF4X2RpZmZlcmVuY2UgPSBtYXgoZGlmZmVyZW5jZSksDQogICAgbWluX2RpZmZlcmVuY2UgPSBtaW4oZGlmZmVyZW5jZSksDQogICAgbWF4X2JhbGFuY2UgPSBtYXgoYmFsYW5jZSksDQogICAgbWluX2JhbGFuY2UgPSBtaW4oYmFsYW5jZSksDQogICAgaW5pdGlhbF9iYWxhbmNlID0gZmlyc3QoYmFsYW5jZSksDQogICAgZW5kX2JhbGFuY2UgPSBsYXN0KGJhbGFuY2UpLA0KICAgIG1lYW5fYmFsYW5jZSA9IG1lYW4oYmFsYW5jZSksDQogICAgbWVkaWFuX2JhbGFuY2UgPSBtZWRpYW4oYmFsYW5jZSksDQogICAgc3RkX2JhbGFuY2UgPSBzZChiYWxhbmNlKSwNCiAgICBtZWFuX2RpZmZlcmVuY2UgPSBtZWFuKGRpZmZlcmVuY2UpLA0KICAgIG1lZGlhbl9kaWZmZXJlbmNlID0gbWVkaWFuKGRpZmZlcmVuY2UpLA0KICAgIHN0ZF9kaWZmZXJlbmNlID0gc2QoZGlmZmVyZW5jZSksDQogICAgY291bnRfcG9zaXRpdmVfZGlmZmVyZW5jZSA9IHN1bShkaWZmZXJlbmNlID4gMCksDQogICAgY291bnRfbmVnYXRpdmVfZGlmZmVyZW5jZSA9IHN1bShkaWZmZXJlbmNlIDwgMCkNCiAgKQ0Kc3VtbWFyeV9kZiA8LSBzdW1tYXJ5X2RmICU+JQ0KICBhcnJhbmdlKGFjY291bnRfaWQpDQpgYGANCg0KYGBge3J9DQojIEtvbnRyb2xsZSwgb2IgZsO8ciBqZWRlbiBhY2NvdW50X2lkIDEyIG1vbmF0ZSB2b3JoYW5kZW4gc2luZA0KbW9udGhfY291bnRzIDwtIHN1bW1hcnlfZGYgJT4lDQogIGdyb3VwX2J5KGFjY291bnRfaWQpICU+JQ0KICBzdW1tYXJpc2UobW9udGhfY291bnQgPSBuX2Rpc3RpbmN0KG1vbnRoKSkNCg0KIyBQcsO8ZmUsIG9iIGplZGVzIGFjY291bnRfaWQgMTIgTW9uYXRlIGhhdA0KbW9udGhfY291bnRzIDwtIG1vbnRoX2NvdW50cyAlPiUgZmlsdGVyKG1vbnRoX2NvdW50ICE9IDEyKQ0KbW9udGhfY291bnRzDQoNCmBgYA0KQXVjaCBoaWVyIGhhYmVuIHdpZWRlciBlaW5pZ2UgS3VuZGVuIHdlbmlnZXIgYWxzIDEyIGtvbnRpbnVpZXJsaWNoZSBNb25hdGUuDQoNCmBgYHtyfQ0Kc3VtbWFyeV9kZiA8LSBzdWJzZXQoc3VtbWFyeV9kZiwgIWFjY291bnRfaWQgJWluJSBtb250aF9jb3VudHMkYWNjb3VudF9pZCkNCmBgYA0KDQoNCmBgYHtyfQ0Kc3VtbWFyeV9kZiA8LSBzdW1tYXJ5X2RmW29yZGVyKHN1bW1hcnlfZGYkYWNjb3VudF9pZCwgcmV2KHN1bW1hcnlfZGYkbW9udGgpKSxdDQpzdW1tYXJ5X2RmJGdyb3VwX2lkIDwtIGF2ZShzZXFfYWxvbmcoc3VtbWFyeV9kZiRhY2NvdW50X2lkKSwgc3VtbWFyeV9kZiRhY2NvdW50X2lkLCBGVU4gPSBmdW5jdGlvbih4KSB7eH0pDQoNCnN1bW1hcnlfZGYkbW9udGhfbnVtYmVyIDwtIDEyDQoNCmZvciAoaSBpbiAyOm5yb3coc3VtbWFyeV9kZikpIHsNCiAgaWYgKHN1bW1hcnlfZGYkYWNjb3VudF9pZFtpXSAhPSBzdW1tYXJ5X2RmJGFjY291bnRfaWRbaS0xXSkgew0KICAgIHN1bW1hcnlfZGYkbW9udGhfbnVtYmVyW2ldIDwtIDEyDQogIH0gZWxzZSB7DQogICAgc3VtbWFyeV9kZiRtb250aF9udW1iZXJbaV0gPC0gc3VtbWFyeV9kZiRtb250aF9udW1iZXJbaS0xXSAtIDENCiAgfQ0KfQ0KDQojIEVudGZlcm5lIGRpZSBTcGFsdGUgZ3JvdXBfaWQNCnN1bW1hcnlfZGYkZ3JvdXBfaWQgPC0gTlVMTA0Kc3VtbWFyeV9kZiRtb250aCA8LSBOVUxMDQpgYGANCg0KYGBge3J9DQpzdW1tYXJ5X2RmX25vbl9idXllcnMgPC0gc3VtbWFyeV9kZiAlPiUNCiAgZ3JvdXBfYnkoYWNjb3VudF9pZCkgJT4lDQogIHBpdm90X3dpZGVyKG5hbWVzX2Zyb20gPSBtb250aF9udW1iZXIsDQogICAgICAgICAgICAgIHZhbHVlc19mcm9tID0gYyhtYXhfZGlmZmVyZW5jZSwgbWluX2RpZmZlcmVuY2UsIG1heF9iYWxhbmNlLCBtaW5fYmFsYW5jZSwgaW5pdGlhbF9iYWxhbmNlLCBlbmRfYmFsYW5jZSwgbWVhbl9iYWxhbmNlLCBtZWRpYW5fYmFsYW5jZSwgc3RkX2JhbGFuY2UsIG1lZGlhbl9iYWxhbmNlLCBzdGRfYmFsYW5jZSwgbWVhbl9kaWZmZXJlbmNlLCBtZWRpYW5fZGlmZmVyZW5jZSwgc3RkX2RpZmZlcmVuY2UsIGNvdW50X3Bvc2l0aXZlX2RpZmZlcmVuY2UsIGNvdW50X25lZ2F0aXZlX2RpZmZlcmVuY2UpKQ0KYGBgDQoNCkRpZSBUcmFuc2FrdGlvbnNkYXRlbiB3ZXJkZW4gbWl0IGRlbiBhbmRlcmVuIERhdGVuIHp1c2FtbWVuZ2Vmw7xndCwgdW0gcHJvIEt1bmRlIGVpbmUgWmVpbGUgaW4gZWluZW0gRGF0YWZyYW1lIHp1IGhhYmVuLg0KDQpgYGB7cn0NCg0Kc3VtbWFyeV9kZl9ub25fYnV5ZXJzIDwtIG1lcmdlKHN1bW1hcnlfZGZfbm9uX2J1eWVycywgc2ltaWxhcl9ub25fYnV5ZXJzLCBieSA9ICJhY2NvdW50X2lkIikNCmBgYA0KDQpgYGB7cn0NCm1lcmdlKHN1bW1hcnlfZGZfbm9uX2J1eWVycywgbm9uX2J1eWVycywgYnkgPSAiYWNjb3VudF9pZCIpDQpgYGANCg0KDQpgYGB7cn0NCmZpbmFsX2RmIDwtIHJiaW5kKHN1bW1hcnlfZGZfYnV5ZXJzLCBzdW1tYXJ5X2RmX25vbl9idXllcnMpDQpgYGANCg0KSmV0enQgbXVzcyBub2NoIGRhc3MgaXNzdWVkLURhdHVtIHNvd2llIHdlaXRlcmUgVmFyaWFiZWxuIGVudGZlcm50IHdlcmRlbi4NCg0KYGBge3J9DQojIEVudGZlcm5lIHdlaXRlcmUgdW5uw7Z0aWdlIFZhcmlhYmVsbiB3aWUgSUQncyBvZGVyIFdlcnRlLCB3ZWxjaGUgw7xiZXJhbGwgZ2xlaWNoIHNpbmQNCmZpbmFsX2RmIDwtIGZpbmFsX2RmICU+JSBzZWxlY3QoLWNsaWVudF9pZCwgLWRpc3RyaWN0X2lkLCAtZGlzdHJpY3RfaWQuYWNjb3VudHMsIC1kaXNwX2lkLCAtdHlwZSwgLWxvYW5faWQsIC1hY2NvdW50X2lkLCAtaXNzdWVkKQ0KYGBgDQoNCkF1c3NlcmRlbSBzY2hlaW5lbiBlaW5pZ2UgVmFyaWFiZWxuIGFscyBGYWt0b3JlbiBpbSBEYXRlbnNhdHogenUgc2Vpbiwgd2VsY2hlIGVpZ2VudGxpY2ggbnVtZXJpc2NoIHfDpHJlbi4NCg0KYGBge3J9DQpmaW5hbF9kZiR1bmVtcGxveW1lbnRfcmF0ZV85NSA8LSBhcy5udW1lcmljKGZpbmFsX2RmJHVuZW1wbG95bWVudF9yYXRlXzk1KQ0KZmluYWxfZGYkdW5lbXBsb3ltZW50X3JhdGVfOTUuYWNjb3VudHMgPC0gYXMubnVtZXJpYyhmaW5hbF9kZiR1bmVtcGxveW1lbnRfcmF0ZV85NS5hY2NvdW50cykNCmZpbmFsX2RmJGNyaW1lc185NSA8LSBhcy5udW1lcmljKGZpbmFsX2RmJGNyaW1lc185NSkNCmZpbmFsX2RmJGNyaW1lc185NS5hY2NvdW50cyA8LSBhcy5udW1lcmljKGZpbmFsX2RmJGNyaW1lc185NS5hY2NvdW50cykNCmBgYA0KDQoNCiMgTW9kZWxsZQ0KDQpBbHMgbsOkY2hzdGVzIHNvbGxlbiBNb2RlbGxlIHRyYWluaWVydCB1bmQgZXZhbHVpZXJ0IHdlcmRlbi4gVW0gZGllIFJlc3VsdGF0ZSB6dSByZXByb2R1emllcmVuLCB3aXJkIGhpZXIgZWluIGluaXRpYWxpZXIgc2VlZCBnZXNldHp0Lg0KDQpgYGB7cn0NCnNldC5zZWVkKDI3KQ0KYGBgDQoNCg0KDQoNCiMjIEZ1bmt0aW9uZW4genVyIEV2YWx1aWVydW5nIHZvbiBNb2RlbGxlbg0KDQojIyMgVHJhaW4tVGVzdC1TcGxpdA0KDQpBbHMgVm9yYmVyZWl0dW5nIGbDvHIgZGllIE1vZGVsbGUgbcO8c3NlbiB3aXIgdW5zZXJlIERhdGVuIHp1IFRyYWluaW5ncy0gdW5kIFRlc3RkYXRlbiB1bnRlcnRlaWxlbi4gRGFmw7xyIGVyc3RlbGxlbiB3aXIgZWluZSBGdW5rdGlvbiwgd2VsY2hlIGF1ZiB2ZXJzY2hpZWRlbmVuIFZhcmlhbnRlbiBkZXMgRGF0ZW5zYXR6IGdlYnJhdWNodCB3ZXJkZW4ga2Fubi4NCg0KYGBge3J9DQpzcGxpdF9kYXRhIDwtIGZ1bmN0aW9uKGRmLCB0ZXN0X3NpemUgPSAwLjIpIHsNCiAgc3BsaXQgPC0gY3JlYXRlRGF0YVBhcnRpdGlvbihkZiRoYXNfY2FyZCwgcCA9IDEgLSB0ZXN0X3NpemUsIGxpc3QgPSBGQUxTRSkNCiAgdHJhaW4gPC0gZGZbc3BsaXQsIF0NCiAgdGVzdCA8LSBkZlstc3BsaXQsIF0NCiAgDQogIHJldHVybihsaXN0KHRyYWluID0gdHJhaW4sIHRlc3QgPSB0ZXN0KSkNCn0NCmBgYA0KDQojIyMgTWV0cmlrZW4NCg0KRGFtaXQgd2lyIGRpZSB2ZXJzY2hpZWRlbmVuIE1vZGVsbGUgYmVzc2VyIGV2YWx1aWVyZW4ga8O2bm5lbiwgbcO8c3NlbiB3aXIgZGllIGdsZWljaGVuIEtlbm56YWhsZW4gdW5kIEF1c3dlcnR1bmdlbiBwcm8gTW9kZWxsIG1hY2hlbi4gWnUgZGllc2VtIFp3ZWNrIGRlZmluaWVyZW4gd2lyIGVpbmlnZSBGdW5rdGlvbmVuLCBkYW1pdCB3aXIgd2VuaWdlciByZWR1bmRhbnRlbiBDb2RlIGhhYmVuIHVuZCB1bnNlcmUgRXJnZWJuaXNzZSBpbiBlaW5lbSBlaW5oZWl0bGljaGUsIHZlcmdsZWljaGJhcmVuIEZvcm1hdCBkYWhlcmtvbW1lbi4gDQoNCkRhZsO8ciBlcnN0ZWxsZW4gd2lyIGVpbmUgRnVua3Rpb24sIGRpZSBkaWUgR2VuYXVpZ2tlaXQgKEFjY3VyYWN5KSwgQ29oZW4ncyBLYXBwYSwgTWF0dGhld3MgS29ycmVsYXRpb24sIFByw6R6aXNpb24gKFByZWNpc2lvbiksIEVyaW5uZXJ1bmcgKFJlY2FsbCkgdW5kIGRlbiBGMS1TY29yZSBmw7xyIGVpbmUgUmVpaGUgdm9uIFZvcmhlcnNhZ2VuIHVuZCBkZXJlbiBlbnRzcHJlY2hlbmRlbiB3YWhyZW4gV2VydGUgYmVyZWNobmV0Lg0KDQpXYXMgYmVkZXV0ZW4gZGllc2UgS2VubnphaGxlbiBnZW5hdT8NCg0KQWNjdXJhY3kgKEdlbmF1aWdrZWl0KTogRGllIEFjY3VyYWN5IGlzdCBkZXIgUHJvemVudHNhdHogZGVyIFZvcmhlcnNhZ2VuLCBkaWUgbWl0IGRlbiB0YXRzw6RjaGxpY2hlbiBXZXJ0ZW4gw7xiZXJlaW5zdGltbWVuLiBTaWUgd2lyZCBiZXJlY2huZXQgYWxzIEFuemFobCBkZXIga29ycmVrdGVuIFZvcmhlcnNhZ2VuIGdldGVpbHQgZHVyY2ggZGllIEdlc2FtdHphaGwgZGVyIFZvcmhlcnNhZ2VuLg0KDQpDb2hlbidzIEthcHBhIChDb2hlbidzIEthcHBhKTogQ29oZW4ncyBLYXBwYSBpc3QgZWluZSBNZXNzZ3LDtsOfZSBmw7xyIGRpZSBRdWFsaXTDpHQgdm9uIGJpbsOkcmVuIEtsYXNzaWZpa2F0aW9uZW4uIEVzIHdpcmQgdmVyd2VuZGV0LCB1bSBkaWUgw5xiZXJlaW5zdGltbXVuZyB6d2lzY2hlbiB6d2VpIEtsYXNzaWZpa2F0b3JlbiB6dSBtZXNzZW4sIGluZGVtIGVzIGRpZSDDnGJlcmVpbnN0aW1tdW5nIMO8YmVyIGRlciBlcndhcnRldGVuIMOcYmVyZWluc3RpbW11bmcgZHVyY2ggWnVmYWxsIGJlcmVjaG5ldC4gRWluIEthcHBhLVdlcnQgdm9uIDEgYmVkZXV0ZXQgcGVyZmVrdGUgw5xiZXJlaW5zdGltbXVuZywgZWluIFdlcnQgdm9uIDAgYmVkZXV0ZXQga2VpbmUgw5xiZXJlaW5zdGltbXVuZywgZGllIGJlc3NlciBpc3QgYWxzIFp1ZmFsbCwgdW5kIGVpbiBXZXJ0IHZvbiAtMSBiZWRldXRldCBrb21wbGV0dCBmYWxzY2hlIEtsYXNzaWZpa2F0aW9uZW4uDQoNCk1hdHRoZXdzIGNvcnJlbGF0aW9uIGNvZWZmaWNpZW50IChNYXR0aGV3cyBLb3JyZWxhdGlvbik6IERlciBNYXR0aGV3cyBLb3JyZWxhdGlvbiBDb2VmZmljaWVudCAoTUNDKSBpc3QgZWluZSBNZXNzZ3LDtsOfZSBmw7xyIGRpZSBRdWFsaXTDpHQgdm9uIGJpbsOkcmVuIEtsYXNzaWZpa2F0aW9uZW4uIEVyIHJlaWNodCB2b24gLTEgYmlzIDEsIHdvYmVpIGVpbiBXZXJ0IHZvbiAxIHBlcmZla3RlIEtsYXNzaWZpa2F0aW9uIGJlZGV1dGV0LCBlaW4gV2VydCB2b24gMCBlaW5lIEtsYXNzaWZpa2F0aW9uLCBkaWUgbmljaHQgYmVzc2VyIGFscyBadWZhbGwgaXN0LCB1bmQgZWluIFdlcnQgdm9uIC0xIGVpbmUga29tcGxldHQgZmFsc2NoZSBLbGFzc2lmaWthdGlvbiBiZWRldXRldC4NCg0KUHJlY2lzaW9uIChQcsOkemlzaW9uKTogRGllIFByw6R6aXNpb24gaXN0IGRlciBQcm96ZW50c2F0eiBkZXIgVm9yaGVyc2FnZW4sIGRpZSB0YXRzw6RjaGxpY2gga29ycmVrdCB3YXJlbiwgdW50ZXIgZGVyIEFubmFobWUsIGRhc3MgYWxsZSBWb3JoZXJzYWdlbiBrb3JyZWt0IHNpbmQuIFNpZSB3aXJkIGJlcmVjaG5ldCBhbHMgQW56YWhsIGRlciBrb3JyZWt0ZW4gVm9yaGVyc2FnZW4gZsO8ciBkaWUgcG9zaXRpdmUgS2xhc3NlIGdldGVpbHQgZHVyY2ggZGllIEdlc2FtdHphaGwgZGVyIFZvcmhlcnNhZ2VuIGbDvHIgZGllIHBvc2l0aXZlIEtsYXNzZS4NCg0KUmVjYWxsIChFcmlubmVydW5nKTogRGVyIFJlY2FsbCBpc3QgZGVyIFByb3plbnRzYXR6IGRlciB0YXRzw6RjaGxpY2ggcG9zaXRpdmVuIFdlcnRlLCBkaWUga29ycmVrdCB2b3JoZXJnZXNhZ3Qgd3VyZGVuLiBFciB3aXJkIGJlcmVjaG5ldCBhbHMgQW56YWhsIGRlciBrb3JyZWt0ZW4gVm9yaGVyc2FnZW4gZsO8ciBkaWUgcG9zaXRpdmUgS2xhc3NlIGdldGVpbHQgZHVyY2ggZGllIEdlc2FtdHphaGwgZGVyIHRhdHPDpGNobGljaCBwb3NpdGl2ZW4gV2VydGUuDQoNCkYxIHNjb3JlIChGMS1XZXJ0KTogRGVyIEYxLVdlcnQgaXN0IGVpbiBNYcOfIGbDvHIgZGllIFF1YWxpdMOkdCB2b24gYmluw6RyZW4gS2xhc3NpZmlrYXRpb25lbiwgZGFzIGRpZSBIYXJtb25pZXNjaGUgTWlzY2h1bmcgdm9uIFByw6R6aXNpb24gdW5kIFJlY2FsbCBkYXJzdGVsbHQuIEVzIHdpcmQgYmVyZWNobmV0IGFscyBkZXIgSGFybW9uaWVzY2hlIE1pdHRlbHdlcnQgdm9uIFByw6R6aXNpb24gdW5kIFJlY2FsbC4gRWluIGhvaGVyIEYxLVdlcnQgYmVkZXV0ZXQsIGRhc3Mgc293b2hsIFByw6R6aXNpb24gYWxzIGF1Y2ggUmVjYWxsIGhvY2ggc2luZC4NCg0KYGBge3J9DQpnZXRfbWV0cmljcyA8LSBmdW5jdGlvbihwcmVkaWN0aW9ucywgdHJ1ZV92YWx1ZXMpIHsNCiAgIyBDYWxjdWxhdGUgYWNjdXJhY3kNCiAgYWNjdXJhY3kgPC0gc3VtKHByZWRpY3Rpb25zID09IHRydWVfdmFsdWVzKSAvIGxlbmd0aChwcmVkaWN0aW9ucykNCiAgDQogICMgQ2FsY3VsYXRlIENvaGVuJ3Mga2FwcGENCiAgbiA8LSBsZW5ndGgocHJlZGljdGlvbnMpDQpvYnNlcnZlZF9hZ3JlZW1lbnQgPC0gc3VtKHByZWRpY3Rpb25zID09IHRydWVfdmFsdWVzKQ0KZXhwZWN0ZWRfYWdyZWVtZW50IDwtIHN1bShwcmVkaWN0aW9ucyA9PSB0cnVlX3ZhbHVlcykgLyBuDQprYXBwYSA8LSAob2JzZXJ2ZWRfYWdyZWVtZW50IC0gZXhwZWN0ZWRfYWdyZWVtZW50KSAvIChuIC0gZXhwZWN0ZWRfYWdyZWVtZW50KQ0KICANCiAgIyBDYWxjdWxhdGUgTWF0dGhld3MgY29ycmVsYXRpb24gY29lZmZpY2llbnQNCiAgY29uZnVzaW9uX21hdHJpeCA8LSB0YWJsZShwcmVkaWN0aW9ucywgdHJ1ZV92YWx1ZXMpDQogIHRwIDwtIGNvbmZ1c2lvbl9tYXRyaXhbMiwyXQ0KICB0biA8LSBjb25mdXNpb25fbWF0cml4WzEsMV0NCiAgZnAgPC0gY29uZnVzaW9uX21hdHJpeFsyLDFdDQogIGZuIDwtIGNvbmZ1c2lvbl9tYXRyaXhbMSwyXQ0KICBtYXR0aGV3cyA8LSAodHAgKiB0biAtIGZwICogZm4pIC8gc3FydCgodHAgKyBmcCkgKiAodHAgKyBmbikgKiAodG4gKyBmcCkgKiAodG4gKyBmbikpDQogIA0KICAjIENhbGN1bGF0ZSBwcmVjaXNpb24gYW5kIHJlY2FsbA0KICBwcmVjaXNpb24gPC0gY29uZnVzaW9uX21hdHJpeFsyLDJdIC8gc3VtKGNvbmZ1c2lvbl9tYXRyaXhbMixdKQ0KICByZWNhbGwgPC0gY29uZnVzaW9uX21hdHJpeFsyLDJdIC8gc3VtKGNvbmZ1c2lvbl9tYXRyaXhbLDJdKQ0KICANCiAgIyBDYWxjdWxhdGUgRjEgc2NvcmUNCiAgZjEgPC0gMiAqIChwcmVjaXNpb24gKiByZWNhbGwpIC8gKHByZWNpc2lvbiArIHJlY2FsbCkNCiAgDQogICMgQ3JlYXRlIGEgZGF0YSBmcmFtZSBvZiB0aGUgbWV0cmljcw0KICBtZXRyaWNzIDwtIGRhdGEuZnJhbWUoYWNjdXJhY3kgPSBhY2N1cmFjeSwga2FwcGEgPSBrYXBwYSwgbWF0dGhld3MgPSBtYXR0aGV3cywNCiAgICAgICAgICAgICAgICAgICAgICAgIHByZWNpc2lvbiA9IHByZWNpc2lvbiwgcmVjYWxsID0gcmVjYWxsLCBmMSA9IGYxKQ0KICANCiAgIyBSZXR1cm4gdGhlIGRhdGEgZnJhbWUNCiAgcmV0dXJuKG1ldHJpY3MpDQp9DQpgYGANCg0KIyMjIEtvbmZ1c2lvbnNtYXRyaXggbWl0IFBsb3QNCg0KRGllc2UgRnVua3Rpb24gZXJzdGVsbHQgZWluZSBLb25mdXNpb25zbWF0cml4IHVuZCBnaWJ0IHNpZSBhbHMgUGxvdCB6dXLDvGNrLiANCg0KRWluZSBLb25mdXNpb25zbWF0cml4IGlzdCBlaW4gd2ljaHRpZ2VzIFdlcmt6ZXVnIHp1ciBFdmFsdWF0aW9uIHZvbiBLbGFzc2lmaWthdGlvbnNtb2RlbGxlbi4gU2llIHplaWd0IGFuLCB3aWUgZ3V0IGRhcyBNb2RlbGwgaW4gZGVyIExhZ2UgaXN0LCBkaWUgdmVyc2NoaWVkZW5lbiBLbGFzc2VuIHJpY2h0aWcgenUgaWRlbnRpZml6aWVyZW4uIEluIGVpbmVyIEtvbmZ1c2lvbnNtYXRyaXggd2VyZGVuIGRpZSB0YXRzw6RjaGxpY2hlbiB1bmQgZGllIHZvbiBkZW0gTW9kZWxsIHZvcmhlcmdlc2FndGVuIEtsYXNzZW4gZ2VnZW7DvGJlcmdlc3RlbGx0LiBEaWUgTWF0cml4IGlzdCBpbiB2aWVyIFF1YWRyYW50ZW4gdW50ZXJ0ZWlsdDogdHJ1ZSBwb3NpdGl2ZXMgKFRQKSwgdHJ1ZSBuZWdhdGl2ZXMgKFROKSwgZmFsc2UgcG9zaXRpdmVzIChGUCkgdW5kIGZhbHNlIG5lZ2F0aXZlcyAoRk4pLiBUUCBzaW5kIGRpZSBGw6RsbGUsIGluIGRlbmVuIGRhcyBNb2RlbGwgZGllIEtsYXNzZSByaWNodGlnIHZvcmhlcmdlc2FndCBoYXQsIFROIHNpbmQgZGllIEbDpGxsZSwgaW4gZGVuZW4gZGFzIE1vZGVsbCBkaWUgS2xhc3NlIHJpY2h0aWcgdm9yaGVyZ2VzYWd0IGhhdCB1bmQgZGllc2UgS2xhc3NlIGF1Y2ggdGF0c8OkY2hsaWNoIHZvcmxpZWd0LCBGUCBzaW5kIGRpZSBGw6RsbGUsIGluIGRlbmVuIGRhcyBNb2RlbGwgZWluZSBLbGFzc2Ugdm9yaGVyZ2VzYWd0IGhhdCwgZGllIGluIFdpcmtsaWNoa2VpdCBuaWNodCB2b3JsaWVndCwgdW5kIEZOIHNpbmQgZGllIEbDpGxsZSwgaW4gZGVuZW4gZGFzIE1vZGVsbCBlaW5lIEtsYXNzZSBuaWNodCB2b3JoZXJnZXNhZ3QgaGF0LCBkaWUgaW4gV2lya2xpY2hrZWl0IHZvcmxpZWd0LiBFaW5lIEtvbmZ1c2lvbnNtYXRyaXggaXN0IGhpbGZyZWljaCwgdW0gZGllIEdlbmF1aWdrZWl0LCBTZW5zaXRpdml0w6R0IHVuZCBTcGV6aWZpdMOkdCBkZXMgTW9kZWxscyB6dSBiZXJlY2huZW4gdW5kIHVtIHp1IHNlaGVuLCBhbiB3ZWxjaGVuIFN0ZWxsZW4gZGFzIE1vZGVsbCBTY2h3w6RjaGVuIGhhdC4gU2llIGthbm4gYXVjaCB2ZXJ3ZW5kZXQgd2VyZGVuLCB1bSBkaWUgTGVpc3R1bmcgdm9uIHZlcnNjaGllZGVuZW4gTW9kZWxsZW4gbWl0ZWluYW5kZXIgenUgdmVyZ2xlaWNoZW4uDQoNCmBgYHtyfQ0KcGxvdF9jb25mdXNpb25fbWF0cml4IDwtIGZ1bmN0aW9uKHByZWRpY3Rpb25zLCB0cnVlX3ZhbHVlcykgew0KICAjIEVyc3RlbGxlIGVpbmUgQ29uZnVzaW9uIE1hdHJpeCBhbHMgRGF0YSBGcmFtZQ0KICBjb25mdXNpb25fbWF0cml4X2RmIDwtIGRhdGEuZnJhbWUocHJlZGljdGlvbnMsIHRydWVfdmFsdWVzKQ0KICANCiAgIyBaw6RobGUgZGllIEjDpHVmaWdrZWl0ZW4gamVkZXIgS29tYmluYXRpb24gdm9uIFZvcmhlcnNhZ2UtIHVuZCBUcnVlLVdlcnRlbg0KICBjb3VudHNfZGYgPC0gY291bnQoY29uZnVzaW9uX21hdHJpeF9kZiwgcHJlZGljdGlvbnMsIHRydWVfdmFsdWVzKQ0KICANCiAgIyBFcnN0ZWxsZSBlaW5lbiBnZ3Bsb3QtUGxvdA0KICBnZ3Bsb3QoZGF0YSA9IGNvdW50c19kZiwgYWVzKHggPSBwcmVkaWN0aW9ucywgeSA9IHRydWVfdmFsdWVzKSkgKw0KICAgIGdlb21fdGlsZShhZXMoZmlsbCA9IG4pKSArDQogICAgZ2VvbV90ZXh0KGFlcyhsYWJlbCA9IG4pKSArDQogICAgc2NhbGVfZmlsbF9ncmFkaWVudChsb3cgPSAid2hpdGUiLCBoaWdoID0gImRhcmtncmVlbiIpICsNCiAgICBsYWJzKHggPSAiUHJlZGljdGVkIENsYXNzIiwgeSA9ICJUcnVlIENsYXNzIiwgdGl0bGUgPSAiQ29uZnVzaW9uIE1hdHJpeCIpDQp9DQpgYGANCg0KIyMjIFJPQyAvIEFVQw0KDQpEaWVzZSBGdW5rdGlvbiB6ZWljaG5ldCBkaWUgUk9DLUt1cnZlIHVuZCBiZXJlY2huZXQgZGllIEFyZWEgdW5kIEN1cnZlLiANCg0KRGllIFJPQy1LdXJ2ZSAoUmVjZWl2ZXIgT3BlcmF0aW5nIENoYXJhY3RlcmlzdGljIGN1cnZlKSBpc3QgZWluIHdpY2h0aWdlcyBXZXJremV1ZyB6dXIgQmV3ZXJ0dW5nIHZvbiBLbGFzc2lmaWthdG9yZW4uIFNpZSB6ZWlndCBkaWUgTGVpc3R1bmcgZGVzIEtsYXNzaWZpa2F0b3JzIGJlaSB2ZXJzY2hpZWRlbmVuIFNjaHdlbGxlbndlcnRlbiBhbiwgZGllIHp1ciBVbnRlcnNjaGVpZHVuZyB6d2lzY2hlbiB6d2VpIEtsYXNzZW4gdmVyd2VuZGV0IHdlcmRlbi4gRGllIFJPQy1LdXJ2ZSBpc3QgYmVzb25kZXJzIG7DvHR6bGljaCwgd2VubiBkaWUgYmVpZGVuIEtsYXNzZW4gaW0gVmVyaMOkbHRuaXMgdW5hdXNnZWdsaWNoZW4gc2luZCwgd2llIGVzIG9mdCBkZXIgRmFsbCBpc3QsIHdlbm4gZXMgZGFydW0gZ2VodCwgc2VsdGVuZSBFcmVpZ25pc3NlIHdpZSBLcmFua2hlaXRlbiBvZGVyIEJldHJ1ZyB6dSBlcmtlbm5lbi4NCg0KRGllIFJPQy1LdXJ2ZSBpc3QgYXVmIGRlciB4LUFjaHNlIGRlciBmYWxzY2gtcG9zaXRpdi1SYXRlIChGUFIpIHVuZCBhdWYgZGVyIHktQWNoc2UgZGVyIHdhaHItcG9zaXRpdi1SYXRlIChUUFIpIGF1ZmdldHJhZ2VuLiBEZXIgRlBSIGdpYnQgYW4sIHdpZSB2aWVsZSBmYWxzY2ggcG9zaXRpdmUgRXJnZWJuaXNzZSBlcyBnaWJ0LCB3w6RocmVuZCBkZXIgVFBSIGFuZ2lidCwgd2llIHZpZWxlIHdhaHIgcG9zaXRpdmUgRXJnZWJuaXNzZSBlcnppZWx0IHdlcmRlbi4gRWluIHBlcmZla3RlciBLbGFzc2lmaWthdG9yIHfDvHJkZSBlaW5lIFJPQy1LdXJ2ZSBoYWJlbiwgZGllIGltIG9iZXJlbiBsaW5rZW4gQmVyZWljaCBiZWdpbm50IHVuZCBuYWNoIHJlY2h0cyBvYmVuIHZlcmzDpHVmdCwgd29iZWkgYWxsZSBGw6RsbGUga29ycmVrdCBrbGFzc2lmaXppZXJ0IHdlcmRlbi4gRWluIHp1ZsOkbGxpZ2VyIEtsYXNzaWZpa2F0b3Igd8O8cmRlIGVpbmUgZGlhZ29uYWwgdmVybGF1ZmVuZGUgUk9DLUt1cnZlIGhhYmVuLCBkYSBkaWUgRlBSIHVuZCBUUFIgenVmw6RsbGlnIHZlcnRlaWx0IHNpbmQuDQoNCkRpZSBBdUMgKEFyZWEgVW5kZXIgdGhlIEN1cnZlKSBpc3QgZWluZSBNZXRyaWssIGRpZSBhdXMgZGVyIFJPQy1LdXJ2ZSBiZXJlY2huZXQgd2lyZCB1bmQgZGllIExlaXN0dW5nIGRlcyBLbGFzc2lmaWthdG9ycyB6dXNhbW1lbmZhc3N0LiBTaWUgZ2lidCBhbiwgd2llIGd1dCBkZXIgS2xhc3NpZmlrYXRvciBpbSBWZXJnbGVpY2ggenUgZWluZW0genVmw6RsbGlnZW4gS2xhc3NpZmlrYXRvciBpc3QuIEVpbmUgQVVDIHZvbiAxIGJlZGV1dGV0LCBkYXNzIGRhcyBNb2RlbGwgcGVyZmVrdCBpbiBkZXIgTGFnZSBpc3QsIHBvc2l0aXZlIHVuZCBuZWdhdGl2ZSBLbGFzc2VuIHp1IHVudGVyc2NoZWlkZW4sIHfDpGhyZW5kIGVpbmUgQVVDIHZvbiAwLjUgYmVkZXV0ZXQsIGRhc3MgZGFzIE1vZGVsbCBrZWluZSBiZXNzZXJlIExlaXN0dW5nIGFscyBadWZhbGwgZXJ6aWVsdC4gRGllIEFVQyBrYW5uIFdlcnRlIHp3aXNjaGVuIDAgdW5kIDEgYW5uZWhtZW4uIEVpbmUgQVVDIHZvbiAwIGJlZGV1dGV0LCBkYXNzIGRhcyBNb2RlbGwgdsO2bGxpZyBpbmtvcnJla3QgaXN0LiBJbSBBbGxnZW1laW5lbiBnaWx0LCBqZSBncsO2w59lciBkaWUgQVVDLCBkZXN0byBiZXNzZXIgaXN0IGRhcyBNb2RlbGwgaW0gVmVyZ2xlaWNoIHp1IGFuZGVyZW4gTW9kZWxsZW4uDQoNCmBgYHtyfQ0KbWFrZV9yb2NfcGxvdF9hbmRfZ2V0X2F1YyA8LSBmdW5jdGlvbihwcmVkaWN0aW9ucywgdHJ1ZV92YWx1ZXMpew0KDQpyb2NfY3VydmUgPC0gcm9jKGFzLm51bWVyaWMocHJlZGljdGlvbnMpLCBhcy5udW1lcmljKHRydWVfdmFsdWVzKSAtIDEpDQoNCnBsb3Qocm9jX2N1cnZlLCB4bGFiID0gIkZhbHNlIFBvc2l0aXZlIFJhdGUiLCB5bGFiID0gIlRydWUgUG9zaXRpdmUgUmF0ZSIsIG1haW4gPSJST0MgQ3VydmUiKQ0KDQphdWMgPC0gYXVjKHJvY19jdXJ2ZSkNCg0KcmV0dXJuKGF1YykNCn0NCmBgYA0KDQoNCiMjIyBGZWF0dXJlIEltcG9ydGFuY2UNCg0KVW0gZGllIEZlYXR1cmUgSW1wb3J0YW5jZSBnZW5hdWVyIHp1IHVudGVyc3VjaGVuLCBkZWZpbmllcmVuIHdpciBlaW5lIEZ1bmt0aW9uLCB3ZWxjaGUgZsO8ciBlaW4gTW9kZWxsIGRpZSBGZWF0dXJlIEltcG9ydGFuY2UgYmVyZWNobmV0IHVuZCBkaWUgVG9wIDEwIEZlYXR1cmVzIGluIGVpbmVtIEJhcnBsb3QgYXVzZ2lidC5EaWUgRnVua3Rpb24gcGxvdF9mZWF0dXJlX2ltcG9ydGFuY2UoKSBuaW1tdCBhbHMgRWluZ2FiZXBhcmFtZXRlciBlaW4gbWFzY2hpbmVsbGVzIExlcm5tb2RlbGwgdW5kIHBsb3R0ZXQgZGllIEZlYXR1cmUtSW1wb3J0YW5jZSBkZXMgTW9kZWxscyBhbHMgQmFycGxvdC4gRGllIEZ1bmt0aW9uIHVudGVyc2NoZWlkZXQgZHJlaSBBcnRlbiB2b24gTW9kZWxsZW46IExvZ2lzdGlzY2hlIFJlZ3Jlc3Npb25lbiwgRW50c2NoZWlkdW5nc2LDpHVtZSB1bmQgUmFuZG9tIEZvcmVzdC4gRsO8ciBqZWRlIEFydCB2b24gTW9kZWxsIHdpcmQgZGllIEZlYXR1cmUtSW1wb3J0YW5jZSBhdWYgZWluZSBzcGV6aWZpc2NoZSBBcnQgdW5kIFdlaXNlIGJlcmVjaG5ldC4gQW5zY2hsaWXDn2VuZCB3ZXJkZW4gZGllIEZlYXR1cmUtSW1wb3J0YW5jZS1XZXJ0ZSB1bmQgZGllIE5hbWVuIGRlciBGZWF0dXJlcyBhYnN0ZWlnZW5kIHNvcnRpZXJ0LCB3b2JlaSBudXIgZGllIDEwIHdpY2h0aWdzdGVuIEZlYXR1cmVzIGJlcsO8Y2tzaWNodGlndCB3ZXJkZW4uIERlciBCYXJwbG90IHplaWd0IGRhbm4gZGllIEZlYXR1cmUtSW1wb3J0YW5jZS1XZXJ0ZSBmw7xyIGRpZSBlbnRzcHJlY2hlbmRlbiBGZWF0dXJlcyBhbi4gRGVyIFRpdGVsIGRlcyBQbG90cyBsYXV0ZXQgIkZlYXR1cmUgSW1wb3J0YW5jZSIgdW5kIGRpZSB5LUFjaHNlIGlzdCBtaXQgIkltcG9ydGFuY2UiIGJlc2NocmlmdGV0LiBEaWUgTmFtZW4gZGVyIEZlYXR1cmVzIHdlcmRlbiByb3RpZXJ0IGFuZ2V6ZWlndCwgdW0gUGxhdHogenUgc3BhcmVuLCB1bmQgZGllIEZhcmJlbiBkZXIgZWluemVsbmVuIEZlYXR1cmVzIHNpbmQgdW50ZXJzY2hpZWRsaWNoLg0KDQpgYGB7cn0NCnBsb3RfZmVhdHVyZV9pbXBvcnRhbmNlIDwtIGZ1bmN0aW9uKG1vZGVsKSB7DQogIA0KICAjIExvZ2lzdGlzY2hlIFJlZ3Jlc3Npb24NCiAgaWYgKGNsYXNzKG1vZGVsKVsxXSA9PSAiZ2xtIikgew0KICAgIGltcG9ydGFuY2UgPC0gYWJzKGNvZWYobW9kZWwpWy0xXSkNCiAgICBuYW1lcyA8LSBuYW1lcyhpbXBvcnRhbmNlKQ0KICB9IA0KICANCiAgIyBEZWNpc2lvbiBUcmVlDQogIGVsc2UgaWYgKGNsYXNzKG1vZGVsKVsxXSA9PSAicnBhcnQiKSB7DQogICAgaW1wb3J0YW5jZSA8LSBtb2RlbCRpbXBvcnRhbmNlDQogICAgbmFtZXMgPC0gcm93Lm5hbWVzKGltcG9ydGFuY2UpDQogIH0gDQogIA0KICAjIFJhbmRvbSBGb3Jlc3QNCiAgZWxzZSBpZiAoY2xhc3MobW9kZWwpWzFdID09ICJyYW5kb21Gb3Jlc3QiKSB7DQogICAgaW1wb3J0YW5jZSA8LSBtb2RlbCRpbXBvcnRhbmNlDQogICAgbmFtZXMgPC0gcm93Lm5hbWVzKGltcG9ydGFuY2UpDQogIH0gDQogIA0KICAjIFVucmVjb2duaXplZCBtb2RlbA0KICBlbHNlIHsNCiAgICBzdG9wKCJVbnJlY29nbml6ZWQgbW9kZWwiKQ0KICB9DQogIA0KICAjIFNvcnQgZmVhdHVyZSBpbXBvcnRhbmNlIGFuZCBuYW1lcyBpbiBkZWNyZWFzaW5nIG9yZGVyDQogIGltcG9ydGFuY2UgPC0gaGVhZChpbXBvcnRhbmNlW29yZGVyKGltcG9ydGFuY2UsIGRlY3JlYXNpbmcgPSBUUlVFKV0sIDEwKQ0KICBuYW1lcyA8LSBuYW1lc1tvcmRlcihpbXBvcnRhbmNlLCBkZWNyZWFzaW5nID0gVFJVRSldDQogIA0KICAjIFBsb3QgZmVhdHVyZSBpbXBvcnRhbmNlDQogIGJhcnBsb3QoaW1wb3J0YW5jZSwgbmFtZXMuYXJnID0gbmFtZXMsIGxhcyA9IDIsIGNleC5uYW1lcyA9IDAuNiwNCiAgICAgICAgICBtYWluID0gIkZlYXR1cmUgSW1wb3J0YW5jZSIsIHhsYWIgPSAiIiwgeWxhYiA9ICJJbXBvcnRhbmNlIikNCn0NCmBgYA0KDQoNCiMgQmFzZWxpbmUgTW9kZWxsDQoNCkFscyBlcnN0ZXMgc29sbCBlaW5lIGxvZ2lzdGlzY2hlIFJlZ3Jlc3Npb24gbWl0IGRlbiBJbmZvcm1hdGlvbmVuIEFsdGVyLCBHZXNjaGxlY2h0LCBEb21pemlscmVnaW9uLCBWZXJtw7ZnZW4gKGJhbGFuY2UtU2Nobml0dCDDvGJlciBhbGxlIE1vbmF0ZSkgdW5kIFVtc2F0eiAoZGlmZmVyZW5jZS1TY2huaXR0IMO8YmVyIGFsbGUgTW9uYXRlKSBhbHMgQmFzZWxpbmUgTW9kZWxsIGVyc3RlbGx0IHdlcmRlbi5EYWbDvHIgbcO8c3NlbiB3aXIga3VyeiBlaW4gbmV1ZXMgRGF0YWZyYW1lIGVyc3RlbGxlbi4NCg0KYGBge3J9DQpiYXNlbGluZV9kYXRhIDwtIGZpbmFsX2RmDQpiYXNlbGluZV9kYXRhJG1lYW5fYmFsYW5jZSA8LSByb3dNZWFucyhmaW5hbF9kZlssIGMoIm1lYW5fYmFsYW5jZV8xIiwgIm1lYW5fYmFsYW5jZV8yIiwgIm1lYW5fYmFsYW5jZV8zIiwgIm1lYW5fYmFsYW5jZV80IiwgDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAibWVhbl9iYWxhbmNlXzUiLCAibWVhbl9iYWxhbmNlXzYiLCAibWVhbl9iYWxhbmNlXzciLCAibWVhbl9iYWxhbmNlXzgiLCANCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICJtZWFuX2JhbGFuY2VfOSIsICJtZWFuX2JhbGFuY2VfMTAiLCAibWVhbl9iYWxhbmNlXzExIiwgIm1lYW5fYmFsYW5jZV8xMiIpXSkNCmJhc2VsaW5lX2RhdGEkbWVhbl9kaWZmZXJlbmNlIDwtIHJvd01lYW5zKGZpbmFsX2RmWywgYygibWVhbl9kaWZmZXJlbmNlXzEiLCAibWVhbl9kaWZmZXJlbmNlXzIiLCAibWVhbl9kaWZmZXJlbmNlXzMiLCAibWVhbl9kaWZmZXJlbmNlXzQiLCANCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIm1lYW5fZGlmZmVyZW5jZV81IiwgIm1lYW5fZGlmZmVyZW5jZV82IiwgIm1lYW5fZGlmZmVyZW5jZV83IiwgIm1lYW5fZGlmZmVyZW5jZV84IiwgDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICJtZWFuX2RpZmZlcmVuY2VfOSIsICJtZWFuX2RpZmZlcmVuY2VfMTAiLCAibWVhbl9kaWZmZXJlbmNlXzExIiwgIm1lYW5fZGlmZmVyZW5jZV8xMiIpXSkNCmJhc2VsaW5lX2RhdGEgPC0gYmFzZWxpbmVfZGF0YVssIGMoImFnZSIsICJnZW5kZXIiLCAicmVnaW9uIiwgImhhc19jYXJkIiwgIm1lYW5fYmFsYW5jZSIsICJtZWFuX2RpZmZlcmVuY2UiKV0NCmJhc2VsaW5lX2RhdGEkaGFzX2NhcmQgPC0gYXMuZmFjdG9yKGJhc2VsaW5lX2RhdGEkaGFzX2NhcmQpDQpgYGANCg0KRGFyYXVmIHdpcmQgZWluIFRyYWluLVRlc3QtU3BsaXQgbWl0IDgwJSBUcmFpbmluZ3NkYXRlbiB1bmQgMjAlIFRlc3RkYXRlbiBnZWJyYXVjaHQuDQogDQpgYGB7cn0NCnNwbGl0cyA8LSBzcGxpdF9kYXRhKGJhc2VsaW5lX2RhdGEsIHRlc3Rfc2l6ZSA9IDAuMikNCnRyYWluIDwtIHNwbGl0cyR0cmFpbg0KdGVzdCA8LSBzcGxpdHMkdGVzdA0KYGBgDQoNCkRhcyBSZWdyZXNzaW9uc21vZGVsbCB3aXJkIGF1ZiBkZW4gVHJhaW5pbmdzZGF0ZW4gdHJhaW5pZXJ0Lg0KDQpgYGB7cn0NCiMgRml0IHRoZSBtb2RlbCBvbiB0aGUgdHJhaW5pbmcgZGF0YQ0KbW9kZWwgPC0gZ2xtKGhhc19jYXJkIH4gLiwgZGF0YSA9IHRyYWluLCBmYW1pbHkgPSBiaW5vbWlhbCkNCmBgYA0KDQpBbHMgbsOkY2hzdGVzIHNvbGxlbiBkaWUgUHJlZGljdGlvbnMgZ2VtYWNodCB1bmQgZGFtaXQgZGllIE1ldHJpa2VuIGVyc3RlbGx0IHdlcmRlbi4gRGEgZGllIGxvZ2lzdGlzY2hlIFJlZ3Jlc3Npb24gZWluZSBaYWhsIHp3aXNjaGVuIDAgdW5kIDEgenVyw7xja2dpYnQsIG3DvHNzZW4gd2lyIGFuaGFuZCBlaW5lcyBUaHJlc2hvbGRzIGRpZSBXZXJ0ZSB6dSBUUlVFIHVuZCBGQUxTRSB1bXdhbmRlbG4uIERlciBUaHJlc2hvbGQgZ2lidCBhbiwgYWIgd2VsY2hlbSBXYWhyc2NoZWlubGljaGtlaXRzd2VydCBlaW5lIFZvcmhlcnNhZ2UgYWxzIHBvc2l0aXYgYmV0cmFjaHRldCB3aXJkLiBTdGFuZGFyZG3DpMOfaWcgaXN0IGRlciBUaHJlc2hvbGQgYXVmIDAuNSBnZXNldHp0LCB3YXMgYmVkZXV0ZXQsIGRhc3MgYWxsZSBXYWhyc2NoZWlubGljaGtlaXRlbiBncsO2w59lciBhbHMgMC41IGFscyBwb3NpdGl2IHVuZCBhbGxlIFdhaHJzY2hlaW5saWNoa2VpdGVuIGtsZWluZXIgYWxzIDAuNSBhbHMgbmVnYXRpdiBiZXRyYWNodGV0IHdlcmRlbi4NCg0KYGBge3J9DQojIE1ha2UgcHJlZGljdGlvbnMgb24gdGhlIHRlc3QgZGF0YQ0KcHJlZGljdGlvbnMgPC0gcHJlZGljdChtb2RlbCwgdGVzdCwgdHlwZSA9ICJyZXNwb25zZSIpDQoNCnRocmVzaG9sZCA8LSAwLjUNCnByZWRpY3Rpb25zX3RocmVzaG9sZCA8LSBpZmVsc2UocHJlZGljdGlvbnMgPiB0aHJlc2hvbGQsIFRSVUUsIEZBTFNFKQ0KDQoNCmdldF9tZXRyaWNzKHByZWRpY3Rpb25zX3RocmVzaG9sZCwgdGVzdCRoYXNfY2FyZCkNCmBgYA0KDQpgYGB7cn0NCnBsb3RfY29uZnVzaW9uX21hdHJpeChwcmVkaWN0aW9uc190aHJlc2hvbGQsIHRlc3QkaGFzX2NhcmQpDQpgYGANCg0KYGBge3J9DQptYWtlX3JvY19wbG90X2FuZF9nZXRfYXVjKHByZWRpY3Rpb25zX3RocmVzaG9sZCwgdGVzdCRoYXNfY2FyZCkNCmBgYA0KDQpgYGB7cn0NCnBsb3RfZmVhdHVyZV9pbXBvcnRhbmNlKG1vZGVsKQ0KYGBgDQoNCg0KIyMgVGhyZXNob2xkIA0KDQpEZXIgVGhyZXNob2xkLVdlcnQga8O2bm50ZSBhYmVyIGFuZ2VwYXNzdCB3ZXJkZW4uIEplIG5hY2ggVmVyw6RuZGVydW5nIHdlcmRlbiBkaWUgdmVyc2NoaWVkZW5lbiBNZXRyaWtlbiBiZXNzZXIgb2RlciBzY2hsZWNodGVyLiBEaWUgRnJhZ2UgZGFiZWkgaXN0LCBvYiB3aXIgZWhlciBtZWhyIGZhbHNjaGUgUG9zaXRpdnZvcmhlcnNhZ2VuIG9kZXIgTmVnYXRpdnZvcmhlcnNhZ2VuIHdvbGxlbi4gV2VubiB3aXIgZGVuIFRocmVzaG9sZCBzZW5rZW4sIHdpcmQgYnNwdy4gZGVyIFJlY2FsbCBow7ZoZXIuIFdlbm4gd2lyIGRlbiBUaHJlc2hvbGQgZXJow7ZoZW4sIHdpcmQgZGllIFByZWNpc2lvbiBow7ZoZXIuIEVzIGlzdCBhYmVyIG5pY2h0IHNpbm52b2xsLCBhbmhhbmQgZGVzIFRocmVzaG9sZHMgZGllc2UgYmVpZGVuIE1ldHJpa2VuIHp1IG1heGltaWVyZW4sIGRhIGVzIGJlaSBiZWlkZW4gZmFzdCBrZWluZSBQb3NpdGl2ZW4gYnp3LiBOZWdhdGl2ZSBQcmVkaWN0aW9ucyBtZWhyIGdpYnQuIA0KDQpEZXIgRjEgaXN0IGVpbmUgWnVzYW1tZW5mYXNzdW5nIGRlciBQcmVjaXNpb24gdW5kIGRlciBSZWNhbGwuIFdpciB1bnRlcnN1Y2hlbiwgbWl0IHdlbGNoZW0gVGhyZXNob2xkIGRlciBow7ZjaHN0ZSBGMS1TY29yZSBlcnppZWx0IHdlcmRlbiBrYW5uLg0KDQpgYGB7cn0NCmJlc3RfdGhyZXNob2xkIDwtIDANCmJlc3RfZjEgPC0gMA0KdGhyZXNob2xkcyA8LSBzZXEoMC4wMSwgMC45OSwgMC4wMSkNCmYxX3Njb3JlcyA8LSByZXAoMCwgbGVuZ3RoKHRocmVzaG9sZHMpKQ0KDQpmb3IgKGkgaW4gMTpsZW5ndGgodGhyZXNob2xkcykpIHsNCiAgIyBTZXQgdGhlIHRocmVzaG9sZCBmb3IgdGhlIHByZWRpY3Rpb25zDQogIHByZWRpY3Rpb25zX3RocmVzaG9sZCA8LSBpZmVsc2UocHJlZGljdGlvbnMgPiB0aHJlc2hvbGRzW2ldLCBUUlVFLCBGQUxTRSkNCiAgDQogIGlmIChhbGwocHJlZGljdGlvbnNfdGhyZXNob2xkKSkgew0KICBuZXh0DQp9IGVsc2UgaWYgKGFsbCghcHJlZGljdGlvbnNfdGhyZXNob2xkKSkgew0KICBuZXh0DQp9DQogIA0KICAjIENhbGN1bGF0ZSB0aGUgZjENCiAgZjEgPC0gZ2V0X21ldHJpY3MocHJlZGljdGlvbnNfdGhyZXNob2xkLCB0ZXN0JGhhc19jYXJkKSRmMQ0KICANCiAgZjFfc2NvcmVzW2ldIDwtIGYxDQogIA0KICAjIFVwZGF0ZSB0aGUgYmVzdCB0aHJlc2hvbGQgYW5kIGJlc3QgZjEgaWYgbmVjZXNzYXJ5DQogIGlmIChmMSA+IGJlc3RfZjEpIHsNCiAgICBiZXN0X3RocmVzaG9sZCA8LSB0aHJlc2hvbGRzW2ldDQogICAgYmVzdF9mMSA8LSBmMQ0KICB9DQp9DQoNCiMgRGlzcGxheSB0aGUgYmVzdCB0aHJlc2hvbGQgYW5kIGJlc3QgcmVjYWxsDQpwcmludChwYXN0ZSgiQmVzdCB0aHJlc2hvbGQ6IiwgYmVzdF90aHJlc2hvbGQpKQ0KcHJpbnQocGFzdGUoIkJlc3QgRjE6IiwgYmVzdF9mMSkpDQoNCnBsb3QodGhyZXNob2xkcywgZjFfc2NvcmVzLCB0eXBlID0gImwiLCB4bGFiID0gIlRocmVzaG9sZCIsIHlsYWIgPSAiRjEgU2NvcmUiLCBtYWluID0gIkYxIFNjb3JlIHdpdGggZGlmZmVyZW50IHRocmVzaG9sZHMiKQ0KYGBgDQpXaWUgc2VoZW4gZGllIGFuZGVyZW4gTWV0cmlrZW4gbWl0IGRpZXNlbSBUaHJlc2hvbGQgYXVzPw0KDQpgYGB7cn0NCnByZWRpY3Rpb25zX3RocmVzaG9sZCA8LSBpZmVsc2UocHJlZGljdGlvbnMgPiBiZXN0X3RocmVzaG9sZCwgVFJVRSwgRkFMU0UpDQpnZXRfbWV0cmljcyhwcmVkaWN0aW9uc190aHJlc2hvbGQsIHRlc3QkaGFzX2NhcmQpDQpgYGANCg0KDQojIFJlZ3Jlc3Npb25zbW9kZWxsIG1pdCBhbGxlbiBEYXRlbg0KDQpOdW4gc29sbCBkaWVzZXMgQmFzZWxpbmUtTW9kZWxsIHZlcmJlc3NlcnQgd2VyZGVuLiBBbHMgZXJzdGVzIHByb2JpZXJlbiB3aXIsIGRhcyBnbGVpY2hlIE1vZGVsbCAoTG9naXN0aXNjaGUgUmVncmVzc2lvbikgbWl0IG1laHIgSW5wdXQtUGFyYW1ldGVybiB6dSB0cmFpbmllcmVuLiANCg0KRGEgZGllIGxvZ2lzdGlzY2hlIFJlZ3Jlc3Npb24gUHJvYmxlbWUgbWl0IEZha3RvcmVuIGhhdCwgd2VsY2hlIG51ciBpbSBUcmFpbmluZ3MtIGJ6dy4gVGVzdGRhdGVuc2F0eiB2b3Jrb21tZW4gdW5kIGF1Y2ggbmljaHQgZ3V0IG1pdCBOQSdzIHVtZ2VoZW4ga2FubiwgbcO8c3NlbiB3aXIgenVlcnN0IG5vY2ggZWluaWdlIEFucGFzc3VuZ2VuIGFtIERhdGVuc2F0eiB2b3JuZWhtZW4uDQoNCkFscyBlcnN0ZXMgZW50ZmVybmVuIHdpciBhbGxlIEtvbG9ubmVuLCB3ZWxjaGUgRmFrdG9yZW4gc2luZCB1bmQgbWVociBhbHMgMTAgdmVyc2NoaWVkZW5lIEF1c3Byw6RndW5nZW4gaGFiZW4uDQoNCmBgYHtyfQ0KIyBFcm1pdHRsZSBkaWUgbnVtZXJpc2NoZW4gTWVya21hbGUgaW4gZGVuIFRyYWluaW5nc2RhdGVuDQpudW1lcmljX3ZhcnMgPC0gc2FwcGx5KGZpbmFsX2RmLCBpcy5udW1lcmljKQ0KDQojIEVyc3RlbGxlIGVpbiBTdWJzZXQgZGVyIFRyYWluaW5nc2RhdGVuIG9obmUgZGllIG51bWVyaXNjaGVuIE1lcmttYWxlDQp0cmFpbl9ub19udW1lcmljIDwtIGZpbmFsX2RmWywgIW51bWVyaWNfdmFyc10NCg0KIyBFcm1pdHRsZSBkaWUgQW56YWhsIGRlciBLYXRlZ29yaWVuIGbDvHIgamVkZXMgTWVya21hbA0KbnVtX2NhdGVnb3JpZXMgPC0gc2FwcGx5KHRyYWluX25vX251bWVyaWMsIGZ1bmN0aW9uKHgpIGxlbmd0aCh1bmlxdWUoeCkpKQ0KDQojIMOcYmVycHLDvGZlLCBvYiBlaW4gTWVya21hbCB6dSB2aWVsZSBLYXRlZ29yaWVuIGhhdA0KdG9vX21hbnlfY2F0ZWdvcmllcyA8LSBudW1fY2F0ZWdvcmllcyA+IDEwDQoNCiMgR2liIGRpZSBOYW1lbiBkZXIgTWVya21hbGUgYXVzLCBkaWUgenUgdmllbGUgS2F0ZWdvcmllbiBoYWJlbg0KY29sdW1uc190b19yZW1vdmUgPC0gY29sbmFtZXModHJhaW5fbm9fbnVtZXJpYylbdG9vX21hbnlfY2F0ZWdvcmllc10NCg0KDQojIEVybWl0dGxlIGRpZSBTcGFsdGVubmFtZW4sIGRpZSBiZWhhbHRlbiB3ZXJkZW4gc29sbGVuDQprZWVwX2NvbHVtbnMgPC0gc2V0ZGlmZihjb2xuYW1lcyhmaW5hbF9kZiksIGNvbHVtbnNfdG9fcmVtb3ZlKQ0KDQojIEVyc3RlbGxlIGVpbiBTdWJzZXQgZGVzIERhdGFmcmFtZXMgbWl0IGRlbiBiZWhhbHRlbmVuIFNwYWx0ZW5uYW1lbg0KZmluYWxfZGZfc2ltcGxpZmllZCA8LSBmaW5hbF9kZlssIGtlZXBfY29sdW1uc10NCg0KY29sdW1uc190b19yZW1vdmUNCmBgYA0KDQpOdW4gbXVzcyBkZXIgRGF0ZW5zYXR6IG5vY2ggYXVmIE5BJ3Mgw7xiZXJwcsO8ZnQgd2VyZGVuLg0KDQpgYGB7cn0NCnN1bShpcy5uYShmaW5hbF9kZl9zaW1wbGlmaWVkKSkNCg0KIyBFcnN0ZWxsZSBlaW5lbiBsb2dpc2NoZW4gVmVrdG9yLCBkZXIgYW5naWJ0LCBvYiBqZWRlcyBFbGVtZW50IE5BIGlzdA0KbmFfbWF0cml4IDwtIGlzLm5hKGZpbmFsX2RmX3NpbXBsaWZpZWQpDQoNCiMgU3VtbWllcmUgZGllIEFuemFobCBkZXIgTkEtIFdlcnRlIHBybyBaZWlsZQ0KbmFfY291bnRzIDwtIHJvd1N1bXMobmFfbWF0cml4KQ0KbmFfY291bnRzX2NvbHMgPC0gY29sU3VtcygobmFfbWF0cml4KSkNCg0KIyBaw6RobGUgZGllIFplaWxlbiBtaXQgTkEtIFdlcnRlbg0KbnVtX25hX3Jvd3MgPC0gc3VtKG5hX2NvdW50cyA+IDApDQpudW1fbmFfY29scyA8LSBzdW0obmFfY291bnRzX2NvbHMgPiAwKQ0KbnVtX25hX3Jvd3MNCm51bV9uYV9jb2xzDQpgYGANCg0KRmFzdCBqZWRlIFplaWxlIGhhdCBpcmdlbmR3byBlaW4gTkEuIEVzIHNpbmQgYXVjaCB2aWVsZSBLb2xvbm5lbiBiZXRyb2ZmZW4uIFdpciBrw7ZubmVuIGFsc28gbmljaHQgYWxsZSBPYnNlcnZhdGlvbmVuIG9kZXIgVmFyaWFiZWxuIG1pdCBOQSdzIGVudGZlcm5lbiwgZGEgc29uc3QgZGVyIERhdGVudmVybHVzdCBzZWhyIGdyb3NzIHfDpHJlLiBEYWhlciBpbXB1dGllcmVuIHdpciBkaWUgbnVtZXJpc2NoZW4gZmVobGVuZGVuIFdlcnRlIG1pdCBkZW0gTWVkaWFuIHVuZCBkaWUgZmVobGVuZGVuIGthdGVnb3JpYWxlbiBXZXJ0ZSBtaXQgZGVtIFdlcnQsIHdlbGNoZXIgYW0gbWVpc3RlbiB2b3Jrb21tdC4NCg0KYGBge3J9DQojIEltcHV0ZSBOQSBudW1iZXJzIHdpdGggdGhlIG1lZGlhbg0KZmluYWxfZGZfc2ltcGxpZmllZCA8LSBmaW5hbF9kZl9zaW1wbGlmaWVkICU+JSANCiAgbXV0YXRlX2lmKGlzLm51bWVyaWMsIGxpc3QofiBpZl9lbHNlKGlzLm5hKC4pLCBtZWRpYW4oLiwgbmEucm0gPSBUUlVFKSwgLikpKQ0KDQojIEltcHV0ZSBOQSBzdHJpbmdzL2ZhY3RvcnMgd2l0aCB0aGUgbW9zdCBjb21tb24gdmFsdWUNCmZpbmFsX2RmX3NpbXBsaWZpZWQgPC0gZmluYWxfZGZfc2ltcGxpZmllZCAlPiUgDQogIG11dGF0ZV9pZihpcy5jaGFyYWN0ZXIsIGxpc3QofiBpZl9lbHNlKGlzLm5hKC4pLCBtb2RlKC4pLCAuKSkpDQpgYGANCg0KYGBge3J9DQpzdW0oaXMubmEoZmluYWxfZGZfc2ltcGxpZmllZCkpDQpgYGANCg0KDQpgYGB7cn0NCnNwbGl0cyA8LSBzcGxpdF9kYXRhKGZpbmFsX2RmX3NpbXBsaWZpZWQsIHRlc3Rfc2l6ZSA9IDAuMikNCnRyYWluIDwtIHNwbGl0cyR0cmFpbg0KdGVzdCA8LSBzcGxpdHMkdGVzdA0KYGBgDQoNCmBgYHtyfQ0KIyBGaXQgdGhlIG1vZGVsIG9uIHRoZSB0cmFpbmluZyBkYXRhDQptb2RlbCA8LSBnbG0oaGFzX2NhcmQgfiAuLCBkYXRhID0gdHJhaW4sIGZhbWlseSA9IGJpbm9taWFsKQ0KDQpgYGANCg0KDQoNCmBgYHtyfQ0KIyBNYWtlIHByZWRpY3Rpb25zIG9uIHRoZSB0ZXN0IGRhdGENCnByZWRpY3Rpb25zIDwtIHByZWRpY3QobW9kZWwsIHRlc3QsIHR5cGUgPSAicmVzcG9uc2UiKQ0KDQp0aHJlc2hvbGQgPC0gMC41DQpwcmVkaWN0aW9uc190aHJlc2hvbGQgPC0gaWZlbHNlKHByZWRpY3Rpb25zID4gdGhyZXNob2xkLCBUUlVFLCBGQUxTRSkNCg0KZ2V0X21ldHJpY3MocHJlZGljdGlvbnNfdGhyZXNob2xkLCB0ZXN0JGhhc19jYXJkKQ0KYGBgDQoNCiMgRGVjaXNpb24gVHJlZQ0KDQpgYGB7cn0NCmxpYnJhcnkocnBhcnQpDQoNCnNldC5zZWVkKDEyMykNCnNwbGl0cyA8LSBzcGxpdF9kYXRhKGZpbmFsX2RmLCB0ZXN0X3NpemUgPSAwLjIpDQp0cmFpbiA8LSBzcGxpdHMkdHJhaW4NCnRlc3QgPC0gc3BsaXRzJHRlc3QNCm1vZGVsIDwtIHJwYXJ0KGhhc19jYXJkIH4gLiwgZGF0YSA9IHRyYWluLCBtZXRob2QgPSAiY2xhc3MiKQ0KDQojIE1ha2UgcHJlZGljdGlvbnMgb24gdGhlIHRlc3QgZGF0YQ0KcHJlZGljdGlvbnMgPC0gcHJlZGljdChtb2RlbCwgdGVzdCwgdHlwZSA9ICJjbGFzcyIpDQoNCnByZWRpY3Rpb25zIDwtIGFzLmZhY3RvcihwcmVkaWN0aW9ucykNCg0KDQp0ZXN0JGhhc19jYXJkIDwtIGFzLmZhY3Rvcih0ZXN0JGhhc19jYXJkKQ0KIyBDYWxjdWxhdGUgdGhlIGNvbmZ1c2lvbiBtYXRyaXgNCmNvbmZ1c2lvbl9tYXRyaXggPC0gY29uZnVzaW9uTWF0cml4KHByZWRpY3Rpb25zLCB0ZXN0JGhhc19jYXJkKQ0KDQojIENhbGN1bGF0ZSB0aGUgYWNjdXJhY3kNCmFjY3VyYWN5IDwtIGNvbmZ1c2lvbl9tYXRyaXgkb3ZlcmFsbFsxXQ0KDQojIFByaW50IHRoZSByZXN1bHRzDQpwcmludChwYXN0ZSgiQWNjdXJhY3k6IiwgYWNjdXJhY3kpKQ0KYGBgDQoNCkRpZSBLbGFzc2lmaWthdGlvbiBpc3QgdW0gZWluaWdlcyBiZXNzZXIgYXVmIGRlbSBEZWNpc2lvbiBUcmVlLiBFcyBzY2hlaW50IGFsc28gZsO8ciB1bnNlcmVuIFZlcndlbmR1bmdzendlY2sgZGVyIGJlc3NlcmUgQWxnb3JpdGhtdXMgenUgc2Vpbi4gV2lyIHVudGVyc3VjaGVuIG5vY2ggRXJ3ZWl0ZXJ1bmdlbiBkZXMgRGVjaXNpb24gVHJlZXM6IGRlciBSYW5kb20gRm9yZXN0Lg0KDQoNCg0KIyBSYW5kb20gRm9yZXN0IA0KDQpgYGB7cn0NCnNldC5zZWVkKDEyMykNCmZpbmFsX2RmJGhhc19jYXJkIDwtIGFzLmZhY3RvcihmaW5hbF9kZiRoYXNfY2FyZCkNCmZpbmFsX2RmIDwtIG5hLm9taXQoZmluYWxfZGYpDQojIFRlaWxlbiBTaWUgZGVuIERhdGVuc2F0eiBpbiBUcmFpbmluZ3MtIHVuZCBUZXN0ZGF0ZW4gYXVmDQp0cmFpbl9pbmRleCA8LSBjcmVhdGVEYXRhUGFydGl0aW9uKGZpbmFsX2RmJGhhc19jYXJkLCBwID0gMC44LCBsaXN0ID0gRkFMU0UpDQp0cmFpbiA8LSBmaW5hbF9kZlt0cmFpbl9pbmRleCwgXQ0KdGVzdCA8LSBmaW5hbF9kZlstdHJhaW5faW5kZXgsIF0NCg0KIyBFcnN0ZWxsZW4gU2llIGVpbiBSYW5kb20gRm9yZXN0LU1vZGVsbA0KbW9kZWwgPC0gcmFuZF9mb3Jlc3QoKSAlPiUgc2V0X21vZGUoImNsYXNzaWZpY2F0aW9uIikNCg0KIyBUcmFpbmllcmVuIFNpZSBkYXMgTW9kZWxsIG1pdCBib290c3RyYXBwZWQgcmVzYW1wbGluZw0KbW9kZWwgPC0gbW9kZWwgJT4lIGZpdChoYXNfY2FyZCB+IC4sIGRhdGEgPSB0cmFpbikNCg0KIyBNYWNoZW4gU2llIFZvcmhlcnNhZ2VuIGF1ZiBkZW4gVGVzdGRhdGVuDQpwcmVkaWN0aW9ucyA8LSBtb2RlbCAlPiUgcHJlZGljdCh0ZXN0KQ0KDQp0ZXN0JGhhc19jYXJkIDwtIGFzLmZhY3Rvcih0ZXN0JGhhc19jYXJkKQ0KIyBCZXJlY2huZW4gU2llIGRpZSBHZW5hdWlna2VpdCBkZXMgTW9kZWxscw0KY29uZnVzaW9uX21hdHJpeCA8LSBjb25mdXNpb25NYXRyaXgocHJlZGljdGlvbnMkLnByZWRfY2xhc3MsIHRlc3QkaGFzX2NhcmQpDQoNCiMgQXVzZ2ViZW4gZGVyIEdlbmF1aWdrZWl0DQpwcmludChwYXN0ZSgiQWNjdXJhY3k6IiwgY29uZnVzaW9uX21hdHJpeCRvdmVyYWxsWzFdKSkNCmBgYA0KDQpEZXIgUmFuZG9tIEZvcmVzdCBpc3QgZWluIHdlbmlnIGJlc3NlciBhbHMgZGVyIERlY2lzaW9uIFRyZWUuIEFscyBuw6RjaHN0ZXMgd29sbGVuIHdpciBwcm9iaWVyZW4sIG9iIGVpbmUgSHlwZXJwYXJhbWV0ZXJvcHRpbWllcnVuZyB1bnNlciBSZXN1bHRhdCBub2NoIHZlcmJlc3Nlcm4ga2Fubi4NCg0KIyBIeXBlcnBhcmFtdGVyIE9wdGltaWVydW5nIGF1ZiBSYW5kb20gRm9yZXN0DQoNCmBgYHtyfQ0KIyBMZWdlbiBTaWUgZGVuIEh5cGVycGFyYW1ldGVyLVN1Y2hiZXJlaWNoIGZlc3QNCnBhcmFtX2dyaWQgPC0gZXhwYW5kLmdyaWQobnRyZWUgPSBjKDUwLCAxMDAsIDE1MCksDQogICAgICAgICAgICAgICAgICAgICAgICAgIG5vZGVzaXplID0gYyg1LCAxMCwgMTUpKQ0KDQptdHJ5X3ZhbHVlcyA8LSBjKDEsIDIsIDMpDQpzcGxpdHJ1bGVfdmFsdWVzIDwtIGMoImdpbmkiLCAiZXh0cmF0cmVlcyIpDQptaW4ubm9kZS5zaXplX3ZhbHVlcyA8LSBjKDEwLCAyMCwgMzApDQoNCiMgRXJzdGVsbGVuIFNpZSBkZW4gVHVuaW5nLVBhcmFtZXRlci1HcmlkIG1pdCBleHBhbmQuZ3JpZA0KcGFyYW1fZ3JpZCA8LSBleHBhbmQuZ3JpZChtdHJ5ID0gYygxLCA1LCAxMCksIA0KICAgICAgICAgICAgICAgICAgICAgICAgIHNwbGl0cnVsZSA9IGMoImdpbmkiLCAiZXh0cmF0cmVlcyIpLCANCiAgICAgICAgICAgICAgICAgICAgICAgICBtaW4ubm9kZS5zaXplID0gYyg1LCAxMCwgMTUpKQ0KDQojIERlZmluaWVyZW4gU2llIGRhcyBUcmFpbmluZ3Nrb250cm9sbG9iamVrdA0KdHJhaW5fY29udHJvbCA8LSB0cmFpbkNvbnRyb2wobWV0aG9kID0gImN2IiwgbnVtYmVyID0gNSkNCg0KIyBGw7xocmVuIFNpZSBkaWUgR3JpZCBTZWFyY2ggZHVyY2gNCm1vZGVsIDwtIHRyYWluKGhhc19jYXJkIH4gLiwgZGF0YSA9IHRyYWluLCBtZXRob2QgPSAicmFuZ2VyIiwNCiAgICAgICAgICAgICAgIHRyQ29udHJvbCA9IHRyYWluX2NvbnRyb2wsIHR1bmVHcmlkID0gcGFyYW1fZ3JpZCkNCg0KIyBNYWNoZW4gU2llIFZvcmhlcnNhZ2VuIGF1ZiBkZW4gVGVzdGRhdGVuDQpwcmVkaWN0aW9ucyA8LSBwcmVkaWN0KG1vZGVsLCB0ZXN0KQ0KDQojIEVyc3RlbGxlbiBTaWUgZWluZSBDb25mdXNpb24gTWF0cml4DQpjb25mdXNpb25fbWF0cml4IDwtIGNvbmZ1c2lvbk1hdHJpeChwcmVkaWN0aW9ucywgdGVzdCRoYXNfY2FyZCkNCg0KIyBBdXNnZWJlbiBkZXIgR2VuYXVpZ2tlaXQNCnByaW50KHBhc3RlKCJBY2N1cmFjeToiLCBjb25mdXNpb25fbWF0cml4JG92ZXJhbGxbMV0pKQ0KYGBgDQpEaWUgSHlwZXJwYXJhbXRlcmVvcHRpbWllcnVuZyB2ZXJiZXNzZXJ0IHVuc2VyZW4gU2NvcmUgbnVyIG1pbmltLiANCg0KDQojIFJlY3Vyc2l2ZSBGZWF0dXJlIEVsaW1uYXRpb24NCg0KRWluZSBNw7ZnbGljaGtlaXQsIGRpZSBMZWlzdHVuZyB2b24gUmFuZG9tIEZvcmVzdCB6dSB2ZXJiZXNzZXJuLCBpc3QgZGllIFZlcndlbmR1bmcgdm9uIFJlY3Vyc2l2ZSBGZWF0dXJlIEVsaW1pbmF0aW9uIChSRkUpLg0KDQpSRkUgaXN0IGVpbiBGZWF0dXJlIFNlbGVjdGlvbi1WZXJmYWhyZW4sIGRhcyBkYXp1IHZlcndlbmRldCB3aXJkLCBkaWUgd2ljaHRpZ3N0ZW4gRmVhdHVyZXMgKGFsc28gZGllamVuaWdlbiBNZXJrbWFsZSwgZGllIGbDvHIgZGllIFZvcmhlcnNhZ2UgYW0gd2ljaHRpZ3N0ZW4gc2luZCkgYXVzenV3w6RobGVuIHVuZCBhbGxlIGFuZGVyZW4genUgZW50ZmVybmVuLiBEaWVzIGhhdCBtZWhyZXJlIFZvcnRlaWxlOg0KDQpFcyByZWR1emllcnQgZGllIExhdWZ6ZWl0IHZvbiBSYW5kb20gRm9yZXN0LCBkYSB3ZW5pZ2VyIEZlYXR1cmVzIHZlcmFyYmVpdGV0IHdlcmRlbiBtw7xzc2VuLg0KRXMga2FubiBkYXp1IGJlaXRyYWdlbiwgT3ZlcmZpdHRpbmcgenUgdmVybWVpZGVuLCBpbmRlbSBlcyBpcnJlbGV2YW50ZW4gb2RlciByZWR1bmRhbnRlbiBGZWF0dXJlcyBlbnRmZXJudC4NCkVzIGthbm4gZGF6dSBiZWl0cmFnZW4sIGRpZSBJbnRlcnByZXRpZXJiYXJrZWl0IHZvbiBSYW5kb20gRm9yZXN0IHp1IHZlcmJlc3Nlcm4sIGRhIHdpY2h0aWdlcmUgRmVhdHVyZXMgbGVpY2h0ZXIgenUgdmVyc3RlaGVuIHNpbmQuDQoNCg0KYGBge3J9DQpzcGxpdHMgPC0gc3BsaXRfZGF0YShmaW5hbF9kZiwgdGVzdF9zaXplID0gMC4yKQ0KdHJhaW4gPC0gc3BsaXRzJHRyYWluDQp0ZXN0IDwtIHNwbGl0cyR0ZXN0DQoNCiMgZGVmaW5lIHRoZSBmZWF0dXJlIHNlbGVjdGlvbiBhbGdvcml0aG0NCmZzIDwtIHJmZSh4ID0gdHJhaW4gJT4lIHNlbGVjdCgtaGFzX2NhcmQpLCB5ID0gdHJhaW4kaGFzX2NhcmQsIHNpemVzID0gYygxOjUpLCByZmVDb250cm9sID0gcmZlQ29udHJvbChmdW5jdGlvbnMgPSByZkZ1bmNzKSkNCg0KIyBwcmludCB0aGUgc2VsZWN0ZWQgZmVhdHVyZXMNCnByaW50KGZzKQ0KIyB0cmFpbiBhIG1vZGVsIHVzaW5nIHRoZSBzZWxlY3RlZCBmZWF0dXJlcw0KI21vZGVsIDwtIHRyYWluKHggPSB0cmFpblssZnMkc2VsZWN0ZWRGZWF0dXJlc10sIHkgPSB0cmFpbiRoYXNfY2FyZCwgbWV0aG9kID0gInJmIikNCmBgYA0KDQpgYGB7cn0NCmdncGxvdChkYXRhID0gZnMsIG1ldHJpYyA9ICJBY2N1cmFjeSIpICsgdGhlbWVfYncoKQ0KYGBgDQoNCmBgYHtyfQ0KcHJlZGljdG9ycyhmcykNCmBgYA0KDQoNCg0KYGBge3J9DQp2YXJpbXBfZGF0YSA8LSBkYXRhLmZyYW1lKGZlYXR1cmUgPSByb3cubmFtZXModmFySW1wKGZzKSlbMTo4XSwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgaW1wb3J0YW5jZSA9IHZhckltcChmcylbMTo4LCAxXSkNCg0KZ2dwbG90KGRhdGEgPSB2YXJpbXBfZGF0YSwgDQogICAgICAgYWVzKHggPSByZW9yZGVyKGZlYXR1cmUsIC1pbXBvcnRhbmNlKSwgeSA9IGltcG9ydGFuY2UsIGZpbGwgPSBmZWF0dXJlKSkgKw0KICBnZW9tX2JhcihzdGF0PSJpZGVudGl0eSIpICsgbGFicyh4ID0gIkZlYXR1cmVzIiwgeSA9ICJWYXJpYWJsZSBJbXBvcnRhbmNlIikgKyANCiAgZ2VvbV90ZXh0KGFlcyhsYWJlbCA9IHJvdW5kKGltcG9ydGFuY2UsIDIpKSwgdmp1c3Q9MS42LCBjb2xvcj0id2hpdGUiLCBzaXplPTQpICsgDQogIHRoZW1lX2J3KCkgKyB0aGVtZShsZWdlbmQucG9zaXRpb24gPSAibm9uZSIpDQpgYGANCg0KDQoNCg==